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	2BB79B0680AB826457967233F194D6CB
PackageArch	i586
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	BC87BF2CA6D0153902ACC130EDE80D6A17DCE5C9
SHA-256	24880A9C7519690D65E554F3411331BFCFC27A57197BA5A781FB4E962C58F9E6

Key	Value
MD5	87C9261F3F8660F3E90B6C757D9AD8C6
PackageArch	i586
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	73B8613CB706A3EBF172484BC1C80D9F3A11DEE6
SHA-256	43EEB87CE40B867912570C7A2418B94380C879B6AACCFF0FAFBED73671AE22AC