Parents (Total: 51)

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

Key	Value
FileSize	1110134
MD5	94CC191F0B48EC2BE3FF915827997D45
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.4pl4dfsg-1
SHA-1	015B2189EA72DB31B2714C16E65C58213B0FBBFE
SHA-256	3B22E24E69EC4F7A922CB9645839F8F806B2026341940BE140186B6CE03F3E08

Key	Value
FileSize	3567108
MD5	A0627DC12C5FD17F7A0B993039532323
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.4pl4dfsg-1
SHA-1	1019E003ABC4BA164C1BF1842F6875B2DE5D7654
SHA-256	7F0382AA5354786841A506D4202C203E67AB6A100AF06CEF254E6D5F5B82ADB7

Key	Value
FileSize	4050784
MD5	1C0A35F7B85FA37F4F8E8E51F2A8B3BF
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.4pl4dfsg-1
SHA-1	13DE6F07F20445A9C667427D4DFD310328C5C888
SHA-256	1AE9A7F1A3A886E16F44AF250BE9352AEE75DF4381B91AD3F2822DEF5ECCF27F

Key	Value
FileSize	3806642
MD5	42E0CC5C48BB0D15DCD56364F118983E
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.4pl4dfsg-1
SHA-1	1D2E62556BA42756F35C1FF8883C2E69E2CA20B3
SHA-256	F82CDF4105104707AB5CAF03DDF6D691E2AADFC8D84217AA6FE0289D8BA95339

Key	Value
FileSize	3851422
MD5	9E3883EA7C3BB3C76F0B2819EE77EDA1
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.4pl4dfsg-1
SHA-1	1FA924D07617A7FAC598BE8486AF730F0347AF3C
SHA-256	266A650BF79116F2FB4FD2AC399D24D54B18065D18974D109F2B8D188AA0EFDB

Key	Value
FileSize	678034
MD5	1DBB65CA6A20F3F8C4102A66AD879D99
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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.4pl4dfsg-1
SHA-1	203514BBB1D1F167F02DC7094D88A834D698D694
SHA-256	1F7384D9720FD4DCD1E795C4179932D31212A1F7F5D469A8D5DE1C4FFFCE8C14

Key	Value
FileSize	3922284
MD5	A729C108DC2BF77B7B348415C9E19012
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.4pl4dfsg-1
SHA-1	20BC7404904D468F92793A84CA31DA1234A580AA
SHA-256	D55637546231799A1B3D1712F08C8980BF78347617587794801DEA4EC3D751F5

Key	Value
FileSize	642416
MD5	35992AA3ED50EDE2451389C02CF19974
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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.4pl4dfsg-1
SHA-1	2115A545EC2739051243327AFB3DFBA04F896E1A
SHA-256	2B5A1C31C7FEC307E745A8FF03A254733FFB3C23D7DBE2EF46FA1F65593BCBAF

Key	Value
FileSize	748916
MD5	C43ED7E10B64A1182437BD88F3CFBFE0
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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.4pl4dfsg-3build2
SHA-1	238F0B4DBB7726585502E7DB625B41FB29AEA622
SHA-256	B7BB0494318D904476F77A60ABF731391C1FCD9A33D19B283C294890C9543FBA

Key	Value
FileSize	329374
MD5	186AF7C2BAEF7CBA97215CBE770937B1
PackageDescription	runtime libraries for Coq 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 runtime libraries for Coq.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.4pl4dfsg-1
SHA-1	2FD00BF7F367BCD0D3D8A70AA6570E7440A530AF
SHA-256	26FA8ED50CE2EEC9354E20BAF75589C79BB8FF6AC3BC5548363D621478BA3B22