Parents (Total: 10)

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

Key	Value
FileSize	329374
MD5	186AF7C2BAEF7CBA97215CBE770937B1
PackageDescription	runtime libraries 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 runtime libraries for Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	2FD00BF7F367BCD0D3D8A70AA6570E7440A530AF
SHA-256	26FA8ED50CE2EEC9354E20BAF75589C79BB8FF6AC3BC5548363D621478BA3B22

Key	Value
FileSize	1637886
MD5	810B6D652ACCB33E49A66229C8073797
PackageDescription	runtime libraries 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	8B8D9566D0C2FD3AA1E220584665F21EC219653F
SHA-256	59058ECE50B1A779DD0DE6D7A8F9A02F7E03B9B1F30A604AD744769BDA86AD56

Key	Value
FileSize	1538216
MD5	408946D67FF7EF25805C2BFE45E7AAF7
PackageDescription	runtime libraries 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	4855E0BA58E776C7348A24C0581DBE82681BE142
SHA-256	2CB7A12B8B58A3BBA6007EE151D4DF6EA338F773649101DEF66F3263A4AFC4DE

Key	Value
FileSize	329876
MD5	F8CFEC00BA2830BC2DFB7B13937D7F19
PackageDescription	runtime libraries 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 runtime libraries for Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	7DFFDA7022C8AC8254A614039C8D8E5AC2F9589B
SHA-256	DB4630C6152700806032D034B973BE6808EFAA64A3189835CDB0D0749F71DC3D

Key	Value
FileSize	1529756
MD5	A449C649D7241C116D39AF9D20A529B6
PackageDescription	runtime libraries 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 runtime libraries for Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	857746C109485DFA52493DFF341FDD1F4D504407
SHA-256	13B713D2CEE1D4197E3BAD3BAE2A859FFB4FCCFEB91F79B302320A2B0D25E906

Key	Value
FileSize	1378528
MD5	BD5DBA22C1C14FF517C49EA0E722A316
PackageDescription	runtime libraries 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 runtime libraries for Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	3C2E613DFA1D6FF75EDE92FBEF469817D3AD56D6
SHA-256	DF9ECD53593A202BE090D91FF4EB79808E472E71194AC96F409215BDC436B330

Key	Value
FileSize	1438666
MD5	D1751EC02977EB9B65360B974BF8052B
PackageDescription	runtime libraries 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 runtime libraries for Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	C1F95109005B1FF08950214BDA6AD6461C211F5E
SHA-256	CA0E7A78D39047603A87FA2F5B700E8EE86BD70D2C3BD8EEB1A6BC2667BB0D73

Key	Value
FileSize	1586100
MD5	E264B402B4EB7FEEAA8A888C9B85C5D4
PackageDescription	runtime libraries 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 runtime libraries for Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	DAB780C128C9AC5123CDB2061E53C2B07DA33135
SHA-256	02F35B4EF21C023A3A0CE8D992F241A39949E48B26291BB51FA15719BFB5332E

Key	Value
FileSize	1489658
MD5	E01B625C89244CBE647A278B5277F4CF
PackageDescription	runtime libraries 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	AA9244590DC7A247E1121326863FE3DDE9A90C41
SHA-256	000A0ED30CA643BD5F147EC037DE5AB71CADC2757E42B2108F080F24FD5B5301

Key	Value
FileSize	1580148
MD5	E528B47D66F74BAE28D25E7ABD00BDA5
PackageDescription	runtime libraries 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	4A048F6E1179A99589B5B4E4D5EF8AD28C5F4877
SHA-256	AB1AC9FDEBE1DEE52A889FE22BBE51CDBC0C527A8C13F58187A39FD9E8DBF211