Parents (Total: 13)

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

Key	Value
FileSize	4914706
MD5	B6795D306BCC8BB93C185F5B368C4DA5
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	BD2D17E776E833D956AB9421DF54C5B56606D075
SHA-256	A517A162B0C1437FE7DA656BC2DB7D11880FBD3B4DF12DA2C24A8B1E7CA3E7F5

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	5278710
MD5	614BE9D56E790EABCA9D9C5545A34311
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	896550ECF1FF8E4BD9DD7A0AEE6BE113E060A5C7
SHA-256	5CA838C9B5694C7B9EC9E0D8D312C1B967799FA373D1B7C51004EF049753E555

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

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	8498146
MD5	106762523E34F0AF6A1F8929EA7C6356
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	F96218192B87A6245879BE18928F1C1618D9B524
SHA-256	798113342818C1A3BD28F67AB79D772EA8B2A58121AF3B67599E07B5B5130990

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

Key	Value
FileSize	2338102
MD5	4DFFB017424101ACBBBDDEB8BECCDFDC
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	3D63B26CBAB6C88FDD4278051BA2DB5FE595134D
SHA-256	F2D154AA954AC3D82DEC6001A74D7CB0A6D3AC39110714BB0A71E2788AC3941B

Key	Value
FileSize	4649936
MD5	5DAE6EC59B98AC32E3228E9E5087B091
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	EDF7C6E2801DD483BB3C0245070508D1458E94C5
SHA-256	95FB0FB13F5E3AB47DFD011969C30899CA79816A58581383D452DA2BAB240D92

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	5209486
MD5	F6CE0E4E19B7BB7B1D11971C770D6255
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	FDBA9B94F0A26D2013612BF9F38390F25B3FFE69
SHA-256	6E51ADCC3D997921209A68986B5632B236DEEF00852564DFD794AAF5B92A6770

Key	Value
FileSize	8346646
MD5	C3E00F214EC3CEF98CCEFF139542DEAF
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	4142F48281BC0983699E00630AD8251B297E1887
SHA-256	75B3F2B189D3B5645CAD8F6C3127C811FCD920A0A785BB4BF96EDC80D642E4C5