Parents (Total: 3)

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

Key	Value
FileSize	6324304
MD5	701FC8FA98E5F756DAD7F0E6F745075A
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.11.0-1
SHA-1	5F6745E012D16D1AE1A4D29195B1AFE8CE8EBD42
SHA-256	AEEDFA1FDC335CFF8828C5A9FA00B33FAE4B268878001B3B494DA4A7A3412096

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