Parents (Total: 1)

The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	11321776
MD5	36E4253B7E1BF119C5FCD2BC1A267ED5
PackageDescription	Coq Constructive Repository at Nijmegen This library provides different theories for Coq: - an algebraic hierarchy with an axiomatic formalization of the most common algebraic structures, like setoids, monoids, groups, rings, fields, ordered fields, rings of polynomials and real and complex numbers; - a construction of the real numbers satisfying the above axiomatic description; - a proof of the fundamental theorem of algebra; - a collection of elementary results on real analysis including continuity, differentiability, integration, Taylor's theorems and the fundamental theorem of calculus; - tools for exact real computations like real numbers, functions, integrals, graph of functions and differential equations. . Coq is a proof assistant for higher-order logic.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-corn
PackageSection	ocaml
PackageVersion	8.16.0-2+b1
SHA-1	3BFF8D695EFBE5486B8637C0B22CA9E4C05695F4
SHA-256	8D0D9F34450EE6BC4CC55117B9AF5DDC0DBBDD70B3846E9532EB5DF48C9F3386