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	4635880
MD5	CCDEFDE34E894337731A946E85F46D48
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	277E573ED8DBF6AC5CEA3B4CFC05284F5789FA3B
SHA-256	00482440AAD89F6D691BF2CAEF8C5F7D887F3F09F484A6EB649E7EEC24C4AFD9