Parents (Total: 16)

The searched file hash is included in 16 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	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

Key	Value
FileSize	11315376
MD5	EDA2E3B1FB28835C90F7979F841A4358
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+b1
SHA-1	2D47F215371ED12F39D4A7FA21EF101195EC9692
SHA-256	7E9230B9860DF6B1605FB7F5003E24C718E8305B482EA36BEF5C2CC3307437A1

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

Key	Value
FileSize	11321652
MD5	78A240F49F8697427A1DBF6158643395
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+b1
SHA-1	3EFF7C8AD7AAD1CA9F15A6CB0B06A149862162AB
SHA-256	0A86AB6F385A4828DC4A13A85680E7A502BC398A6089325A95D3EEE96FB4EC1E

Key	Value
FileSize	11318328
MD5	EFB1B648A8437E2FEE88B32696A48803
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	626116D4289BF6A9BB3ED3F83AFBE0A2E591F6B8
SHA-256	46A451F3654674043B2AB55EF1E44F35C495888FED85A60A7C9B192F83CE35F6

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

Key	Value
FileSize	11321148
MD5	F761F2F55178D6E9D59971FF2A0DF32D
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+b1
SHA-1	80C60E24191D5618ECBE6AA98F536DC7E319F3EC
SHA-256	5DDC904675426F1B3725942F48AAF317D1F22E0662B5DAA8AA1351CD2D065F02

Key	Value
FileSize	11320000
MD5	693290377261915A9E6209E1DC581F59
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	91F41A8FAA0D2D370EAF3A323C55B8A73AC82FA0
SHA-256	94EEA9D87E7FD74B586B07E5924BC425281EAF89B31CC84BD82D1A4FED6DF9B0