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	7D27682AF12B3AFCDBFF9386EB4F6AE3
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.fc22
PackageVersion	8.4pl6
SHA-1	ADDB486B22921E9DCE49005F2F07E973F50033F5
SHA-256	1961E2B03DC9D713263EBBEAAA4E8E9B8E84B91811A84F457E3068333C79E8E2