Parents (Total: 2)

The searched file hash is included in 2 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