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