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	11320196
MD5	DA35B5F63294ED03A9951B72562681F4
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	9F65684C4BD3D74B21051408C1FF0FA507293B70
SHA-256	98CCD03F3783BB185A6574DDF328A61548B76859EF14BF2E420280B5CED5210D

Key	Value
FileSize	11319632
MD5	3BD13C45ABACC0B2F1C32A53387AA910
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	764A1879356C5A50674761D26EA9FD1FDFD00BB1
SHA-256	32E74B754D525CA1C45EFBCFAA3935BB6DF0E35527B65020F36A1283A9261898