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	7438192
MD5	E08703C279D48C782958FCCCEA4EE7B6
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+dfsg-6
SHA-1	E479A9B8ED3ABC8FB4E15D2F09C7E3A7128153DA
SHA-256	62D5E13451FEF40091DE7F5C5203F1C162E8E0AEDD81744D8418BCCB75DCF85C

Key	Value
FileSize	7452960
MD5	CBDE20F761C41ECF73DA587800B4348C
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+dfsg-6
SHA-1	345912F80ED07241E1500BAD33948EA3D700127D
SHA-256	BCD9064F7FB9BD76EFE462E9309F606403631F9ED4FDBA4FA852B542EB5F526D

Key	Value
FileSize	3437032
MD5	513FA7795B1C138E3614792E666CE70F
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+dfsg-6
SHA-1	B2A4C2FE32C5537E0A781B8BBB8E0ADEC7DDD8A2
SHA-256	47872A13DE9010FEEC1979699A5B93F66A94123EE3D4CB8EDF331B0E796A8925

Key	Value
FileSize	7866004
MD5	6347C4A31640BB581D5C5429FB695721
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+dfsg-6
SHA-1	4BE99A7A202ACB87849042F1CD10D3DBC779C489
SHA-256	6409A945E35F7753BC09004FE135DA587564E3343F7F2FBB0F661E8706B32CB8