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	4EC33058F338885C4EFCE839D06A6C4D
PackageArch	noarch
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. This package provides documentation and tutorials for the system. The main documentation comes in two parts: the main Library documentation, which describes all Coq.* modules, and the Reference Manual, which gives a more complete description of the whole system. Included are also HTML versions of both. Furthermore, there are two tutorials, the main one, and one specifically on recursive types. The example code for the latter is also included.
PackageMaintainer	Fedora Project
PackageName	coq-doc
PackageRelease	3.fc33.1
PackageVersion	8.12.0
SHA-1	31BBBF854BC2EC65D4D19B5CEEF35BE8C33D7CF8
SHA-256	407F729B2B75A6377B4F82D77D6FA34C49308C7CD91020097DB80B1E4C7F225A