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	4618512
MD5	347551861B1C17725D2C8D3B05685A64
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	F46EC0044A32C6125D3FEFDF44A6FFF0D2041B54
SHA-256	CD0E85312D2C94F60856656BE60EB504A8BC9D094CFDBF2DF109B0CF57EA568C