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	72A13A7C5887231F263C3E23D42757A4
PackageArch	noarch
PackageDescription	Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. 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.fc24
PackageVersion	8.5pl1
SHA-1	0DE3D54C744029E2FC9E62EEFE09511E61A8D998
SHA-256	AD1C030778F66EC404F4F4328BBCD4221FC1C73C98CAC0648A35460C05A9EB96