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