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	39601564
MD5	77D58B9A2168472C2AD8674AD35D7079
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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.14.0+dfsg-6
SHA-1	F2B3D7EE00A65D2C2FF35CF6F0C4B9D93124FCB5
SHA-256	CDB25D58F17CB4BE9D2669199A267C1C75F6D906C095D38DBA84E9032DCD1F34

Key	Value
FileSize	39251284
MD5	1A2B49B8A82FDEDD2E966C2E02177749
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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.14.0+dfsg-6
SHA-1	9C24D5027D3578B1B180E0A21910A90DA0D4FB91
SHA-256	19B894EF2C88D845014765601199E21722F44ED1086F818603BD37C5F2CC3A02