Parents (Total: 40)

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

Key	Value
FileSize	4963506
MD5	BA7ABE9928AEE6A5516450ABDB1C21E0
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 Camlp5. . This package 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 package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.3.pl4+dfsg-1
SHA-1	00968E7127B31E10BE1AF1EC2C59AA4F0A813499
SHA-256	44259715F59BC22D2B128CBBB03D372EBE2CAA3F7FC29454EC83B36378D473CA

Key	Value
FileSize	3641486
MD5	094FCF2934CDC5C36C6F4785206A8C1D
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 Camlp5. . This package 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 Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.2.pl2+dfsg-1ubuntu1
SHA-1	041A6E1A5898506A9C0BED9F10F4F27D4BCC2092
SHA-256	C19ADEBCD6E833A7869E41E81FBDC2697FBC7E57C273F7DA84734407A1625FC5

Key	Value
FileSize	5468332
MD5	F332F8AB3AEDFCA2EA5D895ACF7ACC2E
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 Camlp5. . This package 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 package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.3.pl4+dfsg-2
SHA-1	043B2F9DA962E5CB78F3663B4E37BC5692AE77A1
SHA-256	3E7B4A59FDEECECCD1C3DF54227A6FF7BFF411C673EE74FC5DD3410B8C75E4EF

Key	Value
FileSize	15421112
MD5	9825E0E3A04D916741E609ED82489D1F
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 Camlp5. . 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 Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.2.pl1+dfsg-2
SHA-1	0B1A3181C1C7C42B7531B087F5DCA70A6E30622B
SHA-256	8F2B0D555C4FC2E5315633B6ECABB4C20E68F33910CFC576C6300FFA11A2FA08

Key	Value
FileSize	15429974
MD5	042032D5D2D21D9008C5B5057C8975B5
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 Camlp5. . This package 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 Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.2.pl1+dfsg-6
SHA-1	156221DDF5B641EC31328074CF7EB1C405035858
SHA-256	FEF454C1F550972AECF7958BB28E39576E8D95C4AA6681F2A9C7166221818695

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	4952978
MD5	C1F0DE1D63AC4BAD635A8DBB57E4E360
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 Camlp5. . This package 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 Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.3.pl2+dfsg-1build1
SHA-1	36B6EC4DC465000E56865C45F2257D9114A44297
SHA-256	25E55E077B9D918052A90777D9C3486B3DFAA25E5955FB767435F73E78B94CBD

Key	Value
FileSize	15326134
MD5	5BAB7A42F3B404C333BE296798FFF0D9
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 Camlp5. . 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 Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.2.pl1+dfsg-2
SHA-1	3949ACD05844995DC67BD582ABC6EA70E9BA4763
SHA-256	502EF00F7FB39CD820CA2735CC62E3E9FA0E3BF3E8216CB9E29DE483A891CE83

Key	Value
FileSize	13698864
MD5	1A619118FD1079024949EA6763405BA9
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 Camlp5. . This package 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 Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.2.pl1+dfsg-6
SHA-1	3D9FE7FA9941EB51469E320B9B91FAEBE95EB114
SHA-256	B31FF4C4ACABC675F37A9B8F2683A0F70A218CF77811E95B3E9B5BDE767FA736

Key	Value
FileSize	5575862
MD5	52EF17A07271AC90084221B40C6526AE
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 Camlp5. . This package 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 package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.3.pl4+dfsg-2
SHA-1	475E3FD9FF80CAC89846BCAE1E1289DB876F5078
SHA-256	66B9FE818039F99454E94E63317E5E1D6083B9B54BC1172D365F87461800DF53