Parents (Total: 82)

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

Key	Value
FileSize	6538978
MD5	5701BC7C2792FA78C8F366202F4C497D
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.0pl2-4
SHA-1	004A1BB7212FE2C38DB23F1583E4127F92919902
SHA-256	0F324287ACCC0BFB8AEB2C2CCEC585A84180118C913D24D865CAC452E36CA729

Key	Value
FileSize	6936722
MD5	EAE1BA313B7FCFEB1157B1EC8573B177
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.0pl2-4
SHA-1	0247EDC078D61092F55C92E427F899967BE065AC
SHA-256	D3ECB74D0FDA7F339F82E2397B02AF82F259D5AF9B761302C0A63DBB5F1CAF40

Key	Value
FileSize	3142848
MD5	0018994D801A8CB5A0B9F4680FD4DB55
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.0pl2-4
SHA-1	0384435D4C05D512C75EF329B9EFB94CCD7DCB54
SHA-256	985FDB6BF02C3A44E115B47914DDCF406F75FA223251742AA86A9935F3237AF8

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
MD5	CC7FEB50ADFCF58F61B9C5AEE1483C99
PackageArch	ppc
PackageDescription	Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides emacs mode files for formatting Coq input.
PackageMaintainer	Fedora Project
PackageName	coq-emacs
PackageRelease	1.fc12
PackageVersion	8.2pl1
SHA-1	0444CCDA607AF0D003AD4267D2E7F95C94B04144
SHA-256	966FE68B6E48DFEBD5775EE130F65F30D9C640B8758CFE3BC7010D12CB454FB9

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD//3.5//packages//powerpc//coq-7.3.1p0.tgz
MD5	93EBE7A9B796CC4974A1CDD74E2A03A9
SHA-1	0A5DED90686A5A30EED8704054FC259788B3F5A8
SHA-256	D07483EB7C8582750A1E38A2277FA1090EA697D6369A321F4DAF160BE4F96C3B
SSDEEP	196608:uJ8dnwm0vGJ/b8MiWs0jXZQhPeBTftGqPl5iu3n0pscs+arc19:Q8dD/Jj8Knjpu+Zl5iY0pJJgA
TLSH	T13076332CD4843D87963ED4C9AF48E3D266A8F2B0156DF0BEDFB08C1609C431F4B5669A

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	7989080
MD5	BA66B5841D5C2BC3C97B6A6505205EE6
PackageDescription	Proof assistant for higher-order logic 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/>.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	devel
PackageVersion	7.3.1-3
SHA-1	17521099BCA2F8397D28B8E52985F9E210C575D6
SHA-256	8C9E017AA0C81ABD200EE8B009B7799405DE713A16F4304A9A3B3648ABE4E050

Key	Value
FileSize	6954142
MD5	CA62CF9AE9DB1BAA26027D213D39A84E
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.0pl3-2
SHA-1	179EB54248904E13D0E51A7010207611FB331E34
SHA-256	2726CF7289483037F9E56DCA795A0FFA29568318CB042F4FAFFCA7865CE98C2D