Parents (Total: 96)

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

Key	Value
FileSize	19119940
MD5	3F2C25CC3221D769238749BBFF24BA83
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.6-4
SHA-1	001F74DF4C31B167AEEF5CDFD54915BA365F7D8D
SHA-256	E7F1D163E59E66DFB984538058134EE90E8C3915B7530FC6BA87627731E53CEE

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	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	18928658
MD5	9697C5D76E4A750B946F24CC959AEBA1
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.6-4
SHA-1	033498804B6726CFCEB02CCFD80AF699640BD9A6
SHA-256	7F14451683027E3F19B2BDBFB658D3EEA27C8A731BA82B84962E911A663E2215

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	19119318
MD5	99A998E867FD2733C8C1405FC7A90C8F
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.6-4
SHA-1	0BBC81031C694F528626A6F39B3789E45E3E705F
SHA-256	311E5D3EC72C02320652F4B0040BE90E89A7D2FBD9868D81F7841151FAD1D505

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	5930520
MD5	2798FF8D338708D583E4374B94397EF3
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.4pl2dfsg-1
SHA-1	1130F12FCCBCDD5F70A230D18B92272526A10474
SHA-256	B01D328E7EACAF0F99173DFB9EFAD1276821E3D8631B8379677662F8AB5261E5