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	14083724
MD5	5433E1000FBB33228BE32192123C5A15
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+b1
SHA-1	1F96EC6A3616E1990732C1ADC02982756783E345
SHA-256	2E89F4F78D4582CAE5B5B4409700A5F092F53E3EDF6DE6BF9E40B43773125C8B