Parents (Total: 6)

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

Key	Value
FileSize	4050784
MD5	1C0A35F7B85FA37F4F8E8E51F2A8B3BF
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 Camlp5. . This package 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 package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.4pl4dfsg-1
SHA-1	13DE6F07F20445A9C667427D4DFD310328C5C888
SHA-256	1AE9A7F1A3A886E16F44AF250BE9352AEE75DF4381B91AD3F2822DEF5ECCF27F

Key	Value
FileSize	3567108
MD5	A0627DC12C5FD17F7A0B993039532323
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 Camlp5. . This package 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 package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.4pl4dfsg-1
SHA-1	1019E003ABC4BA164C1BF1842F6875B2DE5D7654
SHA-256	7F0382AA5354786841A506D4202C203E67AB6A100AF06CEF254E6D5F5B82ADB7

Key	Value
FileSize	1110134
MD5	94CC191F0B48EC2BE3FF915827997D45
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 Camlp5. . This package 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 package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.4pl4dfsg-1
SHA-1	015B2189EA72DB31B2714C16E65C58213B0FBBFE
SHA-256	3B22E24E69EC4F7A922CB9645839F8F806B2026341940BE140186B6CE03F3E08

Key	Value
FileSize	3851422
MD5	9E3883EA7C3BB3C76F0B2819EE77EDA1
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 Camlp5. . This package 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 package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.4pl4dfsg-1
SHA-1	1FA924D07617A7FAC598BE8486AF730F0347AF3C
SHA-256	266A650BF79116F2FB4FD2AC399D24D54B18065D18974D109F2B8D188AA0EFDB

Key	Value
FileSize	1108640
MD5	4B534300644E9C9C4D34695E8E0264DA
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 Camlp5. . This package 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 package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.4pl4dfsg-1
SHA-1	EA2A802EF194A22A0519E02AA29EBCBFB6B2147F
SHA-256	A7006BA7B0EB7A88B7DCBB646188ADAA5ACDE0A24D59A8B299C4168082DD9AD7

Key	Value
FileSize	3754342
MD5	4D4259BC2D3070C8F877EDEA72D25447
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 Camlp5. . This package 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 package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.4pl4dfsg-1
SHA-1	7E13559B04CF7339E2DB588476B546E754B177D9
SHA-256	F05FE5C8E619CBF0CF659578BDD227EC5ED6F52B7F390031A3FE5FC3DF8DA0F9