Parents (Total: 2)

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

Key	Value
FileSize	12593430
MD5	7E9404F6E594612B759FC6170B92AEF3
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	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coq-libs
PackageSection	math
PackageVersion	8.1.pl3+dfsg-1build1
SHA-1	DE973A7E93398119CDE8C94F561F7C979E9BF63D
SHA-256	F1DB36D1AED23AE9546B5B5CC977A7ED776B8981A3DBA50B168ABA8750677E3D

Key	Value
FileSize	12593878
MD5	C0379D1A072E61AE8B6CD01E893B4BDA
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	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coq-libs
PackageSection	math
PackageVersion	8.1.pl3+dfsg-1
SHA-1	F33E7BBCB4747CF0D3816BF76048EC5165339EE9
SHA-256	B3D93B443C04634CF62CBDC1616B6DD7DBCA52EA45FC2870948F89F6E0519A90