Parents (Total: 172)

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

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.0/packages//amd64//coq-8.4pl6p1.tgz
MD5	ADF6DD8234B4DD8EAEE431BE4EEFF2DD
SHA-1	00330D8A1013AA0A7745547F4A6E31DB202C5A64
SHA-256	EFD4BF8A6D62559EE8186541BE6C5AF5266369E889B2F4BDD3F0DF87E8B3DC61
SSDEEP	1572864:o1feq9z2XQfRhWfBTSG3UWS/b+qwxG1RW/MJqoApv6vXFLWLXc+II2lPkUURszRa:IzOyof1FY+qwxGHJMdSFLW7Hh2l8UUWk
TLSH	T1CD083314E2F81E0D15213B89844CE6FE066134A931DBC545EA6C6D5CFE3B1EE26E3C6E

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	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	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
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/5.5/packages//i386//coq-8.4pl2.tgz
MD5	E357900724C3C98CD3C647F3ECCA95AC
SHA-1	027ED3D5C9D15F56146AAE2EDAC3D6E3CE6CA1F3
SHA-256	D99AEDA9842FA0DD6A11874D3DE799EB7EB738653CE81C41B64E4757979D471A
SSDEEP	1572864:eXFm2b7sKC++BoK7nJixs7jwbuQ/ZszIPwVDVe:a42HVf+BoKMy7jPVzIP4E
TLSH	T14E08336859EFF2FE0463D29BCD771BB354B41E40E88BEA55382C4A15A84E7C10D336B9

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