Parents (Total: 3)

The searched file hash is included in 3 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
MD5	9274B8ACA7CBE54EF7EE7BDCE4465FD1
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	0C1503F51138E2172F823E6D5F3324485476AC57
SHA-256	889D703C9A0B17635FEAC4142F2A8E3D8C777CDC4D492138D1C19BDFCB16FCE7

Key	Value
MD5	96E5A0FFF8CDCFE7FF0AFCDEA4DC335C
PackageArch	armv7hl
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.fc18
PackageVersion	8.4
SHA-1	92AF7F9550764F9E764C985EFB3B4A3A813A32CF
SHA-256	7397C00646E48C9FF10D79498B309AF4F56D30D48759776E498B288AD53D6A70

Key	Value
MD5	D08736E75DA711AB7F268DC22DF807CB
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	06970E7FA912D0007272B189DB432725A2536A53
SHA-256	D8F27F1300C7E9DABB6AD176383414C1E5C3A2E43FB71E3B0E00C621B112AC76