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	826A03777EAB2EA8A99332FDD6C27198
PackageArch	ppc
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.fc12
PackageVersion	8.2pl1
SHA-1	FED90FCF4D1293004311951663F89D484E2D1DE1
SHA-256	1F706C98FCE44B7F31CB367140D27AAFEF402A061755FB7537F2F348D4C7069C

Key	Value
MD5	69CBBE84CC185A57717B538CB05EA1EE
PackageArch	ppc
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.fc12
PackageVersion	8.2pl1
SHA-1	A0062E3C9D35D1DE6E83B74DC22895BDCDACEAC3
SHA-256	EAF7E4F286C18E1D32F21EFB5F579281D3DCC9F06A9D83575CC345D4191BDCE2

Key	Value
MD5	F28E6361B8135BFCC8DAA694FFD0941E
PackageArch	ppc
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.fc12
PackageVersion	8.2pl1
SHA-1	A83EFCC4D646BEE74C65B73D3237F9087CBF6651
SHA-256	04BFD1FBFD5525D8CEA0ED213E1A1605529FB19FBE456F4D8FA51A2FDC1CB207