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	3728070
MD5	B0BB8F442BC467E93D1E9EDF2582477E
PackageDescription	Proof assistant for higher-order logic (theories) 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-libs
PackageSection	math
PackageVersion	8.0pl1-5
SHA-1	32DFF7701130D7B0228F6196353E3D6898135B78
SHA-256	68AD0DD3B4C8AA0077EAB8FF52E1197F845C7387DC5A79D3EB73EA5309730B2A

Key	Value
FileSize	3728084
MD5	6A140762CD37D1E3A2D6147E6538B100
PackageDescription	Proof assistant for higher-order logic (theories) 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-libs
PackageSection	math
PackageVersion	8.0pl1-5
SHA-1	F2D195927049E0ECE5C602955F14AD59925AB292
SHA-256	A412E7B1DDB266D1A4F1EC542D20D76FBEC60CC544432F5263F98AFF8D492B4D

Key	Value
FileSize	3728050
MD5	6A1AF93EDFA08F54EA7BAEFBD8E9D680
PackageDescription	Proof assistant for higher-order logic (theories) 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-libs
PackageSection	math
PackageVersion	8.0pl1-5
SHA-1	3487E1B8786EE4FD5AC32E13F55D8D223DC31B39
SHA-256	CC1585D73DB50C2BA28A3D01B085404FFDCF055A62C724BB5BB835B70F26F739

Key	Value
FileSize	3728160
MD5	F08D92BFF8734FD33166E91691817E35
PackageDescription	Proof assistant for higher-order logic (theories) 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-libs
PackageSection	math
PackageVersion	8.0pl1-5
SHA-1	99732C515924CC639BD0297F768DBE732C20F7F5
SHA-256	BF4F8DA95E00EB27DEE6D4FC1704085C4F78365D6BEA3C00AC59BDFD9D6E7C2A

Key	Value
FileSize	3728146
MD5	F5EB1FC95D6F306ADDD223120BC759EF
PackageDescription	Proof assistant for higher-order logic (theories) 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-libs
PackageSection	math
PackageVersion	8.0pl1-5
SHA-1	D240F96EFB1E96B3A5920F614566017CEB778F65
SHA-256	7B42489E56EE21F37292D598F5E22124D404A9207354BEE82466598DE197469C