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	6514C51C9AFCDB1402605D6B584AEA44
PackageArch	x86_64
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.4
PackageVersion	8.15.0
SHA-1	987F21D19F363B9AE538D8F16BD7C5E9A557B855
SHA-256	7EF83A473681E80009DB8BD878C997A94B3318E58341F04FA71482A1708CCCBD

Key	Value
MD5	69C88C378C4F614DA7899031D1622CEA
PackageArch	x86_64
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.15.0
SHA-1	ECC27789E245E8ACC85B17CD9A8508506CB8680F
SHA-256	D231DF12C91A17E62DA112A1F00235CBDDAF236A357724ADAD1FD6600387F3CF