Parents (Total: 6)

The searched file hash is included in 6 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	DA2313107102EA92519BF5B6CCC0289A
PackageArch	x86_64
PackageDescription	This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	Fedora Project
PackageName	coq-debugsource
PackageRelease	3.fc33.1
PackageVersion	8.12.0
SHA-1	FE1F0C607B2C0222DE85367A2E9405DE618714F0
SHA-256	E385C3C83AA0CCB8547A1DE25EA780FB644ED3A996836AFF091DBEE344AAFC32

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
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	E3A65FDCF85DD504B1961A508A3A0B49
PackageArch	armv7hl
PackageDescription	This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	Fedora Project
PackageName	coq-debugsource
PackageRelease	3.fc33.1
PackageVersion	8.12.0
SHA-1	5E89D1A91A3FD244BCBD7D51E6CC83CACE990A39
SHA-256	78103730A5B6CA53605CBE6442E5193C40CAFBB1FF7FAF50B5BED3A5541AF733

Key	Value
MD5	73318BAE4479DF03A474B2A130AB5F42
PackageArch	aarch64
PackageDescription	This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	Fedora Project
PackageName	coq-debugsource
PackageRelease	3.fc33.1
PackageVersion	8.12.0
SHA-1	1373ED4DE9C4AAD615481488035CE0B78537E996
SHA-256	49DE9FF34005693FFDCA741B7BDF75250F8D3104CFAB7D3878D14A57FC99EC91