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	589FA57108B60A851C43722254617BDC
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	4.fc23
PackageVersion	8.4pl6
SHA-1	9A1868903700ED613EB4C9ACBEBEDB842675A184
SHA-256	B6DD2D918FC3921E7D5F8A91181F22A3A2B7C804DF47BFC65D67B7B334780838

Key	Value
MD5	A2DACE713E297309600D5DCE07641243
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.fc22
PackageVersion	8.4pl6
SHA-1	CF36D3985857F3FF81AEF946971F196EBB9295B6
SHA-256	77F30F781AAAD62AAA16ED2B5C38727280C4D5BE0C0D33C56E536B618864C54E