Parents (Total: 24)

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

Key	Value
FileSize	83882096
MD5	3A3710796C6AA8A5FC3B22A2BB878798
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.11.0-1+b1
SHA-1	12A3006AEEB4631F2D305548FFFF43BD7752DC1E
SHA-256	D3589DAEEECADF0CEE0C55C9B1EFE0F4BEC029F73B28EC573A2490563E0D10B2

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.7/packages//arm//coq-8.10.0.tgz
MD5	AB7CCB67A0A7E2E79C9077497698B5B1
SHA-1	45731872C311570D8C3F543CA272BDC055A4B972
SHA-256	49F0B902EB2E2D2360CC67EA95911BC105D07FB91978F9A530EDB4AA1855DC56
SSDEEP	3145728:RcW+DI/cz3dP65d8Qg9yoRS6DipUzAfxNhC:RPh/cz3dPKOXssOpgK2
TLSH	T10A48335C7607734D689AF0FF0E95EEDE7A9B7012D82A85F6D4241B963087DBFE980804

Key	Value
MD5	1E7F159D6C1504BD3AFF5DBCABE51149
PackageArch	armv7hl
PackageDescription	Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	1.fc32
PackageVersion	8.11.0
SHA-1	49A827F5A2548123AAD9E46D5636DD13F890FC70
SHA-256	9CF847D5538121A30789A28D7D4A14BF4FC7F3218037EB65DC974E8806B2D401

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.7/packages//amd64//coq-8.10.0.tgz
MD5	44EA3FB1C5EE6D5BBBA183A5CBAAA8A5
SHA-1	4F18E5849484412786F52812EA705C399ACDE39C
SHA-256	6178BBB9F2A49F751BA8AFAC1FC901249E9A078CB5358724A9E026FCAD79A5D1
SSDEEP	3145728:DBc4mMUF8+HmczU0FdDjUSXiK+oaj9fVJKsXsAy1BCd3mkMo7+H+:NcvZhHmczTxZrajlVJT3
TLSH	T1FB68330C91884E9ACA131D809C3418BBCE6963C89D0BD7D67EA79D75CF462E948533BF

Key	Value
FileSize	76583920
MD5	4A0A60C5F62383BF2A1EF33A5C10765B
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.11.0-1
SHA-1	567BFC563A6BC7EEC6E0FB647F9B1B8FAB7C3D48
SHA-256	3683F07BFCDB55E4542CD3E928E7FFE489BA7FB6C3AA1A82C2F0F340628B2BB6

Key	Value
MD5	A1D82155BE76440E3E10D8CA97AE1B61
PackageArch	s390x
PackageDescription	The Coq proof assistant provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g., the CompCert compiler certification project and the Bedrock verified low-level programming library), the formalization of mathematics (e.g., the full formalization of the Feit-Thompson theorem and homotopy type theory) and teaching.
PackageName	ocaml-coq
PackageRelease	2.d_l_ocaml.2
PackageVersion	8.11.0
SHA-1	59E9F2D2FD0B8A414917403093EF0CAF46898E6D
SHA-256	3447C2F82EA2A08AB1A71FE6D58E9ED59DE23981F33E6878946AEA05809C9622

Key	Value
MD5	EF935EC8F2FA55FD994EDFE804E1363C
PackageArch	x86_64
PackageDescription	Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	1.fc32
PackageVersion	8.11.0
SHA-1	5C479A83607D93373523B3BB3A6AA248DBE73AA5
SHA-256	454B5BF7464F9F2782F90E2D2C4A12FF7133AFEE7A466B25B9A826DF1E5DF681

Key	Value
FileSize	76593512
MD5	85C75A4930DA75BF8C661650089CEB20
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.11.0-1+b1
SHA-1	755752ED837FC36C9257E625D62CEFDAD1D7FBE8
SHA-256	8DB9F73D00A9E401D18A5C514ED97FED39A4ED1ECB994ED8B04AFF6EA44E2A4A

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.6/packages//arm//coq-8.10beta3p1.tgz
MD5	A5554019FC7B6CBE96631893AE12B491
SHA-1	7A4CE0AAD612BE7990E234C5DE6A0A11EDDBBF3C
SHA-256	41FD897618F3B114AA44D1F1A08EFC0C400824C22F1DAADA0E94FF6B216E5ACF
SSDEEP	3145728:0PRibUX4Dl0GzPm3x6V+Y6ruwGkP27cUGti:0P8UX4J0F3x6VCSwpuAC
TLSH	T1404833D91413EF9C6DC1C06B2288D7DD27951B32F56F4B5788B83A4C3089ABB9F66C42

Key	Value
MD5	D28832BCDD77810D8401C1BAA1EA3926
PackageArch	s390x
PackageDescription	The Coq proof assistant provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g., the CompCert compiler certification project and the Bedrock verified low-level programming library), the formalization of mathematics (e.g., the full formalization of the Feit-Thompson theorem and homotopy type theory) and teaching.
PackageName	ocaml-coq
PackageRelease	1.d_l_ocaml.6
PackageVersion	8.11.0
SHA-1	837A7E0E6418E23A8A7D7367F2FB66F9E693006F
SHA-256	8D862D7EA46BA671B7673FB16ED18BD854A7E0A3BCBAB709B6AA06310B2E95F2