Parents (Total: 4)

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

Key	Value
FileSize	6179196
MD5	43F2D206237BAD20E1DBABC09EC3C1D7
PackageDescription	proof assistant for higher-order logic (toplevel and compiler) 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 packages provides coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral-coq package to be installed.
PackageMaintainer	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.0pl3-2ubuntu1
SHA-1	3FB9B567B0AC11FCE121518A7234AFB9F6F74CFB
SHA-256	0CD98645D809DF29CF784EA146884C0A80EA8A6D2A281A66F5758C4F0532D878

Key	Value
FileSize	3458396
MD5	EC491723A4C78E27FF8C1A59FA6B32B8
PackageDescription	proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.0pl3-2ubuntu1
SHA-1	F9557F3AEFB32ED48B1B2204045909C7AA7E8DEE
SHA-256	97B6BBA006DE749C247DA536F2A038A695ECA21FA438AEF7D5C8B46777A03AD2

Key	Value
FileSize	3737204
MD5	4A3003CD9852AA2D8C5B821B95DCDDFB
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.0pl3-2ubuntu1
SHA-1	9E2FD9B5DB353D1EB2C8F64A9BD63F273F591539
SHA-256	AD6B4A2BBE2A7AAAE77146FDB8E1F9759EC8CD6E2A9C59010AED3C06614E077D

Key	Value
FileSize	3812718
MD5	3C0EBAF19973FC335F2F439912D1C50C
PackageDescription	proof assistant for higher-order logic (Coq 7 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 from Coq 7 in Coq 8, and allows proofs that were developed in Coq 7 to be used in Coq 8. It is also required to translate theories in Coq 7 syntax into the new syntax introduced in Coq 8. However, this package does not need to be installed to use Coq 7.
PackageMaintainer	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coq7-libs
PackageSection	math
PackageVersion	8.0pl3-2ubuntu1
SHA-1	D6E2C6EC0299BFF866813153D90D6E9F6B7A664E
SHA-256	9AD343CAE7A0D3D73787D3DEF1D233A2CB132A9F396F0950C4EF3B28B174FBC3