Parents (Total: 2)

The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	6354016
MD5	87A2154326C604C505BF5611C4516E6C
PackageDescription	runtime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.11.0-1+b1
SHA-1	7E8F63ED0D5F541CF7AE0F1AEB2FD84451EDF1FE
SHA-256	B714804A5879FD2B6AB1D984D89999558EEA327C25D05568584DA24EE2588ABB

Key	Value
FileSize	6753356
MD5	22EC956EBB59855A3CF8C291FA1FDFD4
PackageDescription	runtime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.11.0-1+b1
SHA-1	F4A4FEB6F4520A599AA1DFDC3674F4CFB45469CF
SHA-256	AD25DD9D96CBAFD94EA341F509E6DC32BBDCA23871EE933487E81F10B6FC391E