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	EE956032152BD881FA5956F24553A8B4
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 Coqide, a lightweight IDE for Coq.
PackageMaintainer	Fedora Project
PackageName	coq-coqide
PackageRelease	1.fc24
PackageVersion	8.5pl1
SHA-1	AAE827D532798FCA3D343C9E4B39F6967C7912A3
SHA-256	352526E347CEDF1E6230F8EB7CE2F2AC7FE2267B82B058726B71CA0A1430C64E