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