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	5698876
MD5	C32D160BBABEE2328F1E977142FABA1E
PackageDescription	development libraries and tools 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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.3.pl2+dfsg-1build1
SHA-1	EA519337C663750BCA5A1433A7F69F23D19A45A0
SHA-256	ADF9BF88AD5A8CAD455F40C9A441C3636F04A63100022791E9C59C34D1B6C21D

Key	Value
FileSize	6637720
MD5	3BB0635D985107A0C44F06841433DA0D
PackageDescription	development libraries and tools 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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.3.pl2+dfsg-1build1
SHA-1	CED9B0342719E3A8279ED15D99AB8999BF428C41
SHA-256	5F83E1C1F6563299E470CF0E393EC189001D6A2AC28D79658AC94E02582BF4C4