Parents (Total: 8)

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

Key	Value
FileSize	4047862
MD5	7F267907F07FD256E17390829EE3A10F
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	9337983FB031D999F8A6104437CE5AD09EA0C67B
SHA-256	8B4AA534F62853BFB79D58CBB7707681FCE195A6AED05E7D45A86D9847DED161

Key	Value
FileSize	3831960
MD5	ABDFCEF9A5D87CE736ECAD1EFBE908F8
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	88B33308E336D0DD5DC8BBE3643AC0240B09A946
SHA-256	C27E5FA366F1C7D482540A44FD8BC7CC53DCAB93FFD9E5DD02A1D5AE32BCFC60

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	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	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	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	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	3754342
MD5	4D4259BC2D3070C8F877EDEA72D25447
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	7E13559B04CF7339E2DB588476B546E754B177D9
SHA-256	F05FE5C8E619CBF0CF659578BDD227EC5ED6F52B7F390031A3FE5FC3DF8DA0F9