Parents (Total: 15)

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

Key	Value
FileSize	4157524
MD5	3D5C29F206507525DECA5039C9FCF95E
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-1build1
SHA-1	B12D0406FBC0A1A0BFEAB09A85B16D1EBE7A8ACA
SHA-256	E37EA171A8762D6EE55A05931797612D1BD1F2D9287300DFD2E32AD29329436D

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	9438802
MD5	889A10EF57C887363EDCE76C38F804E9
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	3973D254D33EAE3F5746C41F31F685F715515102
SHA-256	3E1C3B3166683B3B0EF1433CF6F5DC1CF9468DE1FB37A14ED45398A3F768FE7A

Key	Value
FileSize	4278800
MD5	AF67F5BF493CEB8D01A9D7D7005C44FB
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.1.pl3+dfsg-1build1
SHA-1	D53F96F0BD1C7C18EF3E7813ACE000A743EFE1EB
SHA-256	6F9D72422BE02F1125D426612B6C109696BB775B11E182431DC501A7AAB5FC2B

Key	Value
FileSize	4209778
MD5	54DA4B0FC71C98B0969924AF9D319D74
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-1build1
SHA-1	6414477AEC9A34E9A67361354EB2C55EE5F31499
SHA-256	2AF1D2973CE3858F48D1E28ADA1AF9469B1FD026EE6AA706F426CA96DC0C5778

Key	Value
FileSize	9448954
MD5	05D48A58A7EAE1953C6934B8E4610F61
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-1build1
SHA-1	932B7C7B31C8D225F147B04420E47867055B6540
SHA-256	205E0CF13A1C880A792A1A6A4FF0025640DCFF8A8609C147E028385B44559AFE

Key	Value
FileSize	4262540
MD5	34B908FDBC1A61F201D434D9A26D4FD2
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.1.pl3+dfsg-1
SHA-1	BA383E693A413C7994CB1FDB0E92236F11C20945
SHA-256	9F115E03EED20275BCE1ECC28871B3772D481993EDFD55672D693217DFBAC9AE

Key	Value
FileSize	8451650
MD5	EDB8BE96D3E6ED335C384A2CE5FEE772
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	BA9D0C57D4C0BE43AA17AFBBD8CC2BD9D7B1D7B9
SHA-256	63738B590BD93CE74A183B93BE529916DA19E9E078F714FA3BD01C4F616FA54F

Key	Value
FileSize	4145610
MD5	3FEDBCCC6D5C9A10573E5E481D6C39EF
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	591E00A08CE86959A1B287264AE16DDEF7EFAD5A
SHA-256	9AB261751FAED587BCB1FDBBA039AAE433DD67C91FE86EEFE6320EDBE332EF21

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

Key	Value
FileSize	8476538
MD5	32C4A2C78B06FDF2C5BB3E5F01EE2B4B
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-1build1
SHA-1	4AB9F24BE9819838B1D2FBCBFE1EE9E515FD7923
SHA-256	C49E67016D8F6B8B251F15353E41F41C03B9AE521970566E05C7651C29C8E78B

Key	Value
FileSize	9448596
MD5	F35D64DB4C86A094B32C0F4D46D9B9A5
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	B807FA76FB222BDF84322E353A6E409A8C1CC858
SHA-256	842DD29F8B38BBF29B66C51A585DA246FA0B53B93B609DC5F4F2F95D8BCC6070

Key	Value
FileSize	4475590
MD5	932CD365A3A8775EF17344AEA3C7A305
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-1build1
SHA-1	BDF8554EAB95EFAFCE08EE1B91F442BD6ECCD7BF
SHA-256	ED878F390323C4DA44A2B783298F28D6E0535165C850904424C81B2A7F0E9964

Key	Value
FileSize	9045382
MD5	01B07A58397E4057E860D1EA0422C315
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-1build1
SHA-1	2C3235DB5BF5DEE0CB51843F43ED7A7AB8F78953
SHA-256	39E4322C3A648C21B46142DFBCB289DF4AB4D7838010A61C8495FDFEAF380182

Key	Value
FileSize	9474076
MD5	B90463A2E47DF5AEBEE41F60AE2B6E57
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-1build1
SHA-1	6EA752C59984614C2EFE4AC34F2F1FE0CFC5E239
SHA-256	9EE91A9D2BD3C27EF9D02EBE9988CA34DFDCF7A8CFF8B4B1F2221382FA74B10B