Parents (Total: 13)

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

Key	Value
MD5	825F0E91F37D26E255D1721DA9ED8F1B
PackageArch	aarch64
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	3.fc33.1
PackageVersion	8.12.0
SHA-1	DA46AD5257C6E14B982B00BCE43701DD01358225
SHA-256	B25A30FBBF6251F691395C97D8EEF740AEF6180C0E07454498D5DD194ED4A3AC

Key	Value
MD5	720F8C05721D6D87AD3FAF8F59924745
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	3.fc33.1
PackageVersion	8.12.0
SHA-1	CE861A50BC3A2E9DB84A67370C321F7A50D73289
SHA-256	928F5EE69309BF3CCC1B2FC6C4B28B266C659483C2741DF98D86984F68A826C0

Key	Value
FileSize	39307004
MD5	C894BB7358A9C3E6B436BF0DBCDDFF8E
PackageDescription	development libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.14.0+dfsg-6
SHA-1	804DBCF9276E4BACB4FDB5D4DD58E2F45C1E12B9
SHA-256	244D3C58428522E5037664BF20C7DF9FCD6A6A6B3FDC19C9602C5B8F9A51C291

Key	Value
FileSize	39098016
MD5	C63B98C352D7942816851D850A55F41D
PackageDescription	development libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.14.0+dfsg-6
SHA-1	FC2CBC12767C07E763F5403C9DAA2BD0ADAF39DE
SHA-256	53A5CAF1C00AB32C5EB8F70667AC1E9B9B17F16B37D0E4BAFEF269115917CB6D

Key	Value
FileSize	38858888
MD5	7D92E9E36EDD3F8BF53416BFC0496DDC
PackageDescription	development libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.14.0+dfsg-6
SHA-1	131DE74C819CAA57BE1D5A07905F237B4C68F509
SHA-256	965B3D52140CCA72F2C9BD391F4865EBB0D1D5B234DEB8D7C4714F495785E936

Key	Value
FileSize	39120328
MD5	83291D9E1E7DEE3CF378203B57D183D6
PackageDescription	development libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.14.0+dfsg-6
SHA-1	95D4EE8B9A67DBC99E069B176B42339D1475549B
SHA-256	D5EE81B01C68FAEF5EC864B87CA5A5402FB9CC03374C233CB308049FB3A20EDA

Key	Value
MD5	C8475056B6D513AE51E758781D57A218
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	3.fc33.1
PackageVersion	8.12.0
SHA-1	7DDFB1E2A16980B7C6F67C4F9FB76C3397481450
SHA-256	DA5E344B0E07B82B25960E9430780B8529D60C7A8B672433AE134494E6B40D27

Key	Value
MD5	80E483221B9E5589491BCE3681038BBC
PackageArch	s390x
PackageDescription	The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq.
PackageName	ocaml-coq-devel
PackageRelease	1.d_l_ocaml.40
PackageVersion	8.14.1
SHA-1	4150295C99D3A6B3535C9F6D7F8F2C8451C2CA52
SHA-256	C0A617EB536202E51BF28CD2034E6654EC9B5E8E7A7B3E9297CB9C10B8B99CD1

Key	Value
SHA-1	198D3BB17C0DA24D5E7AB88D549B081076EC2C79
snap-authority	canonical
snap-filename	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28.snap
snap-id	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28
snap-name	coq-prover
snap-publisher-id	oMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2021-02-26T01:53:46.711754Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28.snap

Key	Value
MD5	610CC6E4F5B5ACC4BDE352F20EEBAFFF
PackageArch	x86_64
PackageDescription	This package contains development files for Coq.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq-devel
PackageRelease	1.6
PackageVersion	8.14.1
SHA-1	30C6BC41C9C9B4065543D8B742209380E970BFCC
SHA-256	CA4BF26678FB7C28C2FCC552EDD9DAC642089A67CDD411190592349F92B2A3DA

Key	Value
FileSize	39601564
MD5	77D58B9A2168472C2AD8674AD35D7079
PackageDescription	development libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.14.0+dfsg-6
SHA-1	F2B3D7EE00A65D2C2FF35CF6F0C4B9D93124FCB5
SHA-256	CDB25D58F17CB4BE9D2669199A267C1C75F6D906C095D38DBA84E9032DCD1F34

Key	Value
MD5	993C3EF3BF13D302515A20E0DE175379
PackageArch	i586
PackageDescription	This package contains development files for Coq.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq-devel
PackageRelease	1.6
PackageVersion	8.14.1
SHA-1	BFF6A6A12BC074B513F65D49B2900AC303916D9C
SHA-256	2AF26F84A2FEF9FE4AF54F105E8EC7DD0FC92AB7E2F84235A3A5CAE2CB0CA9AB

Key	Value
FileSize	39251284
MD5	1A2B49B8A82FDEDD2E966C2E02177749
PackageDescription	development libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.14.0+dfsg-6
SHA-1	9C24D5027D3578B1B180E0A21910A90DA0D4FB91
SHA-256	19B894EF2C88D845014765601199E21722F44ED1086F818603BD37C5F2CC3A02