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	9021050
MD5	B8641055C72FBB3744340F6E4D6CFCA4
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-1
SHA-1	D8CBD076F508F183CA075D237624144D47CFC176
SHA-256	33AB05693B5ECAB60405832FA1A7D0F8AF925BF92D6AFFC1C1E698B895582502

Key	Value
FileSize	13881098
MD5	89E4D0F29A06D196386F4152E21D5750
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-1
SHA-1	E841958B0DFF798712430CF2C24847BB8E371BE8
SHA-256	EB63C4D7FAE9465D6A76ABCC0819E5CA923C6511329BF552E533B9E46BD40FC6