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	83F783B63F202A15731C685646C5E1AD
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.fc22
PackageVersion	8.4pl6
SHA-1	BFA13B9F5B9126054C3B1A044A55B97443A2C86F
SHA-256	9A693E69E47FF972F7E982B226416F9636B7D26AAB40957DA42BF5B68256327D