Parents (Total: 5)

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

Key	Value
FileSize	6687714
MD5	C19F10158D0ADD5872969F02569B7B8F
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.2.pl1+dfsg-6
SHA-1	05753C44346F4F920B97FDB0843F2E6DAC4DD3C6
SHA-256	F972702C0173715EFFB104DA88503AB819F3DFEEF72BF008F0007B0382762AFA

Key	Value
FileSize	6983036
MD5	1FB6B04D4E69425841EDF0A3047FC70A
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.2.pl2+dfsg-1ubuntu1
SHA-1	AAD56F7B7363FE3545D6DDF5F679A96CD75C876B
SHA-256	9E13344A97F58746C472F5CA7CDFED1DF387E94CF6917885570715FDB0F452E7

Key	Value
FileSize	6994868
MD5	03E1306E30EF6AE94C43CCF29FB880F8
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.2.pl1+dfsg-6
SHA-1	291AC4D88747DECEEBB0E2F7D9E7C2E6CE8AD0CB
SHA-256	0C93BB041B66DB51EDB1FA98D6ABAA82C069D3DB9F0CA78B652E0103FC349F35

Key	Value
FileSize	5884584
MD5	A759301B252F55966F93F12CCE211FB9
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.2.pl1+dfsg-6
SHA-1	596922A89D25BBA21A2F7B192955D5E689DD5F38
SHA-256	9D3FFC22565DA9F0A7AD072F01240429700996BA469786914C45A8554E55E603

Key	Value
FileSize	5902968
MD5	BBB496D8BB92340B6459C899C4D9D988
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.2.pl2+dfsg-1ubuntu1
SHA-1	1A80148498911CDAC118692100F8D606948A7DD2
SHA-256	C76D4213E3868759B8A6418E90DB0831844D43CA900605E9E21340D3748BD73F