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	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	14797690
MD5	5E95E78C37BFAF28C5EE074A434A8DC3
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.1+dfsg-6
SHA-1	6CCAD8FCD340B5727695EF8D81566423C5877B1F
SHA-256	C75BFBD667D1E6A8A841C2EE1C7021C47EF7D34EBA24CB85DF6F82D22A83F4D2

Key	Value
FileSize	4662732
MD5	53619C3A90D298E636FB6A9D62D04903
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.1+dfsg-6
SHA-1	1213FEA99C542C929C4B5031534431A6C8CF0060
SHA-256	FBF5012CF8FE1261215732E9B82889A16BAB03BE76C7778B89E2278581835E29