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	0632657330A02C862C917DB28CB8C656
PackageArch	aarch64
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 the main Coq binary without an optional IDE, Coqide.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	1.fc24
PackageVersion	8.5pl1
SHA-1	FDE70F6C2431380A36C304C8548167DC5E8F8CFB
SHA-256	F29F0879F37FFAC6EA49C7DD2A17046CF51C53AC482C82870271FC6C3C4300D2