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	26758E2C9FCC85D93674508916E0895C
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	1.fc32
PackageVersion	8.11.0
SHA-1	DB52DF9B457D6745D9EEBB712FABB19A81004C87
SHA-256	05D31DA1168DFACF8BDF01D857E13064942F366116CD5C2060BBB7E68A34C4AE