Parents (Total: 3)

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

Key	Value
FileSize	9448954
MD5	05D48A58A7EAE1953C6934B8E4610F61
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.1.pl3+dfsg-1build1
SHA-1	932B7C7B31C8D225F147B04420E47867055B6540
SHA-256	205E0CF13A1C880A792A1A6A4FF0025640DCFF8A8609C147E028385B44559AFE

Key	Value
FileSize	8476538
MD5	32C4A2C78B06FDF2C5BB3E5F01EE2B4B
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.1.pl3+dfsg-1build1
SHA-1	4AB9F24BE9819838B1D2FBCBFE1EE9E515FD7923
SHA-256	C49E67016D8F6B8B251F15353E41F41C03B9AE521970566E05C7651C29C8E78B

Key	Value
FileSize	9474076
MD5	B90463A2E47DF5AEBEE41F60AE2B6E57
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.1.pl3+dfsg-1build1
SHA-1	6EA752C59984614C2EFE4AC34F2F1FE0CFC5E239
SHA-256	9EE91A9D2BD3C27EF9D02EBE9988CA34DFDCF7A8CFF8B4B1F2221382FA74B10B