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	4620840
MD5	EA59B07CF6E364F6ACD5D54DA21AF7BC
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	04F8A0F30610BBF45DA0A28D33FF51F84C5C50C3
SHA-256	3C885FAEF9BDECBEEBE8DCD02EA6C0FCE56EAEB298EB2BAB534B5B2EC20D4472