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	4638556
MD5	21249913845A8DE7E48F62E2959FD9B2
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	B9F4F3A3FFFFD883C7113BD052ED078E4A8E7EAD
SHA-256	B8D10F80C097BEEF5ED4119382157C1CDBF848A49AE40AA333E0925BBF82633C