Parents (Total: 17)

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

Key	Value
FileSize	2446298
MD5	28436B0AB558E28532B5F9870C9AFBDA
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.1.pl3+dfsg-1build1
SHA-1	0746971352CC7059DB2F55B1996C8FBADAD22C59
SHA-256	5135FC79335AAB59E092F8DB88A74584EF13DDA82FD5519F2BFF234BBD1AF7C7

Key	Value
FileSize	4930404
MD5	F93B11427AA71EFB6BF317292904197D
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.pl3+dfsg-1build1
SHA-1	1C1B5CB3C81E6FF7F7142DAC7C4AF31D13D11617
SHA-256	E3162F1CC1ECE28B4EE46CE8573A9120DE0DAB504CA50F71031E465DB02877E5

Key	Value
FileSize	2499540
MD5	66A42F11AA65884AABB1BBB1CA4BCB88
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.pl3+dfsg-1build1
SHA-1	1F0BF1A2FB57E0F60832155C092EBE86ED646404
SHA-256	B65CC6789EA311D2FD0CC000282BB23290C6F74D15DA29703B1B023A32813702

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	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	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	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

Key	Value
FileSize	2420040
MD5	ADC5EADB9C28ED2C242529FC2538182A
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.pl3+dfsg-1build1
SHA-1	79EA1FFC785E8066F3B2C9F0BA819AEA3966E9DE
SHA-256	5BDEE3510D307A34AD5333FD2B611A52BFF116604E63064A5C143F0C02557BBC

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	5232966
MD5	72AE92BEFF6AD507ECE4E5F8AEC0A3CE
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.pl3+dfsg-1build1
SHA-1	AF73618BB5F1BB53D9DB62B4ECF50567B89B8F7C
SHA-256	FD2B4242982B5C7E8F73BE127D7902CE2D8CA3AF18F6D4D3BA8C56CADF5AF705