Parents (Total: 20)

The searched file hash is included in 20 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	5867618
MD5	2301D6FD1045D668D446FAF7D7EB5967
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-2
SHA-1	160960C81972C10EC6CDA360A54B2DFC68D58F08
SHA-256	CDCC5224B9405CDB6BA5D333CC5ED93E3A7009BE52F53AE417880E598620820D

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

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	6024488
MD5	73455C447CA8BD6B7DA82A177FA5C5C9
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	38811B16BCC03C253CB98667AC44BC2F3174DFD4
SHA-256	ED40FCA7D1BECB78EDB2952DE1C72AD6DCDA602184C6A72435B853F4BDF433D5

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

Key	Value
FileSize	6978606
MD5	DE30005E700E27701DB353EF252629F7
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-2
SHA-1	6063066FB75507E132471D0F5D81A9684695EF26
SHA-256	D432742FE5DA7B42D637B718E4AD940FC7B44FD3D504F7BD075955B61E281FDE

Key	Value
FileSize	5865284
MD5	115062FEDB328A60A1F7DB7C77C95759
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-2
SHA-1	7436557254E3BAB6150410DEB47CBE093534B1FE
SHA-256	1FA7DA7D15CA34BED10B80472C0AF483AE7A634F6FF3938570531E1F0EC257C1

Key	Value
FileSize	1941198
MD5	B56512DBB8CDAC4E7FB739672DA1509F
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-2
SHA-1	7547E71E5B2EA9611DFB09CDB7606AADCF75BA7B
SHA-256	9EF6EFC9EA810D9CBE7C8EFDEEF40F82498AE2DE8B9D63C2C9F3E7486A08A2D4