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	14074532
MD5	1B01052782FB64E52D9B179DAB4C8BDC
PackageDescription	Coq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-hott
PackageSection	ocaml
PackageVersion	8.16-1+b2
SHA-1	CFD87497682DD0A5338FBC3B7D3939662B89509C
SHA-256	3B78F77B7A76A51DDDD25DFDD5A0E57A1FE420E1F60E48EDD5E5FDCC40ABD591