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	30F1794F62ED7C3EC346212F938A2F45
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	4.fc23
PackageVersion	8.4pl6
SHA-1	008E9387ECC1ADEBDC9652A57B95D57FEC753697
SHA-256	107062DDF62B2028B2B00CCFC3DE8DF5F8543796C25C1E1ED860ECFCF8F0317B