Parents (Total: 1)

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

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