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	6039120
MD5	4903E90106870973CF630FB7E59A1BD3
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	CC53D78C2EBD0894C5B053316FB42BC15092B584
SHA-256	858DE206A42CB1B9E378A65EBA42C82EF8C753CDDA061B4551F7427F4B7225D9

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	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	1950964
MD5	B02868DE5497990B2409150C6DC922E1
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	46770F4D7F28833C53AD8BA34AF516DD292BEB60
SHA-256	7C61E42B4F0B27F42B1B4D440ACC440D2C40DE852879B5FBE73E0189C238DCD3

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