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	4618560
MD5	81180EFEB8E14AF6666C9BA3654463A2
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-3+b1
SHA-1	EF0685B81C86B91FDCD7E5B7D9A243ABD7A5AFDB
SHA-256	2E2E90764C368C4D7724A5C2FA7E2B654E6E55E898C0A51E4695515D7181C23D