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	1719048
MD5	89D84E3E98494977A65EDAFCA2F4444A
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 Camlp5. . 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.11.0-1+b1
SHA-1	03334AE3B8F29E5D1228555010BCB958B7F670DD
SHA-256	64FF34447A1B612DD3F59E5D1FBB593E4DC6CF6C43E36916C3F52DE4975CAABD

Key	Value
FileSize	1758824
MD5	F324E63A1122CD5ECBA95D5BF16A5F40
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 Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.11.0-1
SHA-1	31B1537FA9A5A9E9A7533F9FC6DB0A1D70ADC791
SHA-256	CA6CE62595D153014E5ACD5BA441F7EB858039D82CFE36BED2F7CB6B3B78229D

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

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.6/packages//i386//coq-8.10beta3p1.tgz
MD5	C6302640CA671F65091897BB995EA065
SHA-1	83840F8809E2BDBDEAA93FF7064ABB4D07CC29B4
SHA-256	136B674C00F9981F24E149D109E8F04C9C536AB89A2A872F73F9F78812632A75
SSDEEP	3145728:AVmKXh0tt9WR+3iB7WVBYC9O7/+CVmw9WIDJdh8JpPBj/udYev9dnC8yGGe:UXhur3gyn47WC94I1LSTj/u+ev9dnC8R
TLSH	T12968330DA864B6A3CF569E104C710D8E8960C380E59BEA9775B37F72CAA7DCC194336D