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	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	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