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	11316836
MD5	8DA81E38687B760EE1970FCEFA4F3FCA
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	221FC928DE87A83B665332F687F84ED3B68B9EFD
SHA-256	FFE22430B62A6B3488C4C6D89B5D34236562F703A25BAEB8415A8E5B05EC5715

Key	Value
FileSize	11317836
MD5	44B5BDB97A60DE032AE75DCFCF5FFB79
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	27AF33F6B9E471CD9C52500FD20B0A19C2BAC388
SHA-256	D72AE424D97A3D8A8382B06CA5634E5A3E550A70BCE05CF10FE94F92A5A6B8CF