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	4637504
MD5	46DA9BFD2C01AB9B0BC0C1859AA9C159
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	0FC172445A0095C3F89E7D112BEB9E4A78246038
SHA-256	DBA17D32A275318B85FEF965D7C1DE78EDE85DE0D7E0D830B4635141CBDF6ADE