Parents (Total: 12)

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

Key	Value
FileSize	4619036
MD5	381B38EEC6F1F06C3FDDF6A3A42F3A80
PackageDescription	algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-coqeal
PackageSection	ocaml
PackageVersion	1.1.1-2+b2
SHA-1	FF8270F33244724520B0A146403E515A3343CBDA
SHA-256	622E3891A8EF0CDF841695489A096462C5D6B5EF2BE66BD28385DA07C000312F

Key	Value
FileSize	4620732
MD5	E4028CE04EA6E2E1CE613FD2DA72974F
PackageDescription	algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-coqeal
PackageSection	ocaml
PackageVersion	1.1.1-2+b2
SHA-1	5C96DF34A1F0CA6F470AA77AC949115C79573A8D
SHA-256	69E5385A29A3C3AC2F512AB16C96C6D4DF16B0D8465E83B84E7CAA394F454410

Key	Value
FileSize	4618720
MD5	E05540B3651B3CDDE28CD21D7A3D55A8
PackageDescription	algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-coqeal
PackageSection	ocaml
PackageVersion	1.1.1-2+b2
SHA-1	7B4734FB4EF60ED8AA2DFE4E34079298350DBE36
SHA-256	13D620A11509931834E637DFB2C037368DECB158FB173C33814259CA9C059A14

Key	Value
FileSize	4619676
MD5	647C00F147A701D38F1224AC873B0970
PackageDescription	algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-coqeal
PackageSection	ocaml
PackageVersion	1.1.1-2+b1
SHA-1	B9D4801619ACB8854D4169E21FA356377841EC39
SHA-256	8CB70908CD1B0B51B35E8A9BDF54DC48D46B3A37D2D4FF8F4B646ADCA8E4B35B

Key	Value
FileSize	4620840
MD5	EA59B07CF6E364F6ACD5D54DA21AF7BC
PackageDescription	algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-coqeal
PackageSection	ocaml
PackageVersion	1.1.1-3+b1
SHA-1	04F8A0F30610BBF45DA0A28D33FF51F84C5C50C3
SHA-256	3C885FAEF9BDECBEEBE8DCD02EA6C0FCE56EAEB298EB2BAB534B5B2EC20D4472

Key	Value
FileSize	4619736
MD5	6A7CE4D42292231F8B258DC1CDE39DD7
PackageDescription	algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-coqeal
PackageSection	ocaml
PackageVersion	1.1.1-2+b1
SHA-1	6BF87C6625B9DFDAED8D04479E5EE98D4182D1B6
SHA-256	906637061E3F6335D574CC669B915B0731895F91950EC24FE06FF4DF2EA5C440

Key	Value
FileSize	4618560
MD5	81180EFEB8E14AF6666C9BA3654463A2
PackageDescription	algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-coqeal
PackageSection	ocaml
PackageVersion	1.1.1-3+b1
SHA-1	EF0685B81C86B91FDCD7E5B7D9A243ABD7A5AFDB
SHA-256	2E2E90764C368C4D7724A5C2FA7E2B654E6E55E898C0A51E4695515D7181C23D

Key	Value
FileSize	4618392
MD5	B57D64FAC69CD93977C03754C00B4639
PackageDescription	algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-coqeal
PackageSection	ocaml
PackageVersion	1.1.1-2+b2
SHA-1	7B7BFC9190731370C2757A0F8110E7859611A45C
SHA-256	6AC35F31656A59148712B1E5E847B49F50A1001CFCF37F12CADF0A5696F440FA

Key	Value
FileSize	4618512
MD5	347551861B1C17725D2C8D3B05685A64
PackageDescription	algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-coqeal
PackageSection	ocaml
PackageVersion	1.1.1-3+b1
SHA-1	F46EC0044A32C6125D3FEFDF44A6FFF0D2041B54
SHA-256	CD0E85312D2C94F60856656BE60EB504A8BC9D094CFDBF2DF109B0CF57EA568C

Key	Value
FileSize	4619912
MD5	32E50B59F21C9580D0CBEF3B70AB386F
PackageDescription	algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-coqeal
PackageSection	ocaml
PackageVersion	1.1.1-3+b1
SHA-1	183D9429EF362C09339B607FA0516A544384382B
SHA-256	66F245A8A274404773A9C7A8BCC2011F8D5EA9084E4D4255D2BE4EB9FA59609D

Key	Value
FileSize	4619316
MD5	063B7D454C606BB155FB3DBA97F9A808
PackageDescription	algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-coqeal
PackageSection	ocaml
PackageVersion	1.1.1-2+b1
SHA-1	55984A57317D60E932036875BA838C2FF7DFD12F
SHA-256	877888C5D2CA720CF7D532670E223C2D572E78DBA893345FA39BE46BA6F3D9F4

Key	Value
FileSize	4619116
MD5	5BB08B0E92F8BFBE7C1F8C8727710C80
PackageDescription	algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-coqeal
PackageSection	ocaml
PackageVersion	1.1.1-2+b1
SHA-1	5F1DE427BDDE543C5930A2D8FFAE4AC2C71544AD
SHA-256	6904F54953897217697677FE325EA7A74903B8617CEBE3279535022A9A09D489