Parents (Total: 2)

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

Key	Value
FileSize	11315964
MD5	7C41BE96C28196CD8EC55BFB14AE69BB
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-1+b3
SHA-1	1CF0CF2D905CBC35994A699D3723AA51DBAA17F3
SHA-256	A3DC29BE600194D53D4538B3CCD65AED1BA00515AE0DA208273B32548CB7EC2F

Key	Value
FileSize	11317324
MD5	84D68D367F7BB70704136A51D3A6A85E
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-1+b2
SHA-1	BC8B6CC4C9A75DC3699FAD3D9E831D1C4C834C5E
SHA-256	3C929DFEFDD722C8C95FFE17506C1E0B31F6FFF83D853DC87A637ED945DD8759