Parents (Total: 1)

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

Key	Value
FileSize	4637368
MD5	62289D5C5A99E536072FCF611AA284A0
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-1+b1
SHA-1	B53BD11E939D50041248A99A34C04345272935E1
SHA-256	8D34F2FB5938262297141D44D4EDEFED5FFA28313AC55F6BE8BB92E0D194AA83