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	31970270
MD5	99E74F8C527FD9EA7703B6998301604C
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 Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.4pl3dfsg-1
SHA-1	F6AE82FC93D9B39EB1FE8F0587EEC3EBBD26A300
SHA-256	F9F68FD1932A76BEDFC29CD4C79138C434C165DBAEFC7BB65D042AD5E55FDA6C

Key	Value
MD5	710AE53CC913B0FCE02D1C912FC93980
PackageArch	armv7hl
PackageDescription	Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	1.fc19
PackageVersion	8.4pl2
SHA-1	E85685A363C2FFCFFABCBA6165C221CF0EB092D9
SHA-256	1ACE558CBD948DDC7C2117C70CA5EEDF9BF8619FAB0A8FFC657C21455AB114AE

Key	Value
FileSize	32177364
MD5	42CAD4525A1F78C1ECDEDCF57E6545FD
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 Camlp5. . 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-theories
PackageSection	math
PackageVersion	8.4pl4dfsg-1
SHA-1	404CB5B9362AB0062E4F15B9C799D239D70215C7
SHA-256	9720678A07E98B85FE8DD94270B1F550F3AAE7E090C8C358E88DB4037D16EAC6

Key	Value
FileSize	58825578
MD5	A5F1194ACD8FEC3A362D063AEFFA5F1E
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 Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.4pl2dfsg-1
SHA-1	B90A72D7A2C4A417C082F30DC3D1B67EA41100D0
SHA-256	62CC4DC51D7D22352B46791C86F2DF1B81C177EB88C09590686D53EA4C44CB91

Key	Value
FileSize	32011470
MD5	5729CDE95A8FA59B3F21CFEE2F271E7E
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 Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.4pl4dfsg-1
SHA-1	3348928A417AD3F55FCBDD3182276883D73C998E
SHA-256	16A288D163C5CF288DB23520FC500687453C537724E13EF0CD26757607A9D906