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	C3F836EDF774B1A998349A32187A3AA1
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	C5B2A5B76EF258CF07B726D08C06851CA3FDDC6A
SHA-256	280E077AE0E3CE20407897F74F33FA497AD3BA6B34FAF026049FB7372EC0CD77

Key	Value
MD5	710AE53CC913B0FCE02D1C912FC93980
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.fc19
PackageVersion	8.4pl2
SHA-1	E85685A363C2FFCFFABCBA6165C221CF0EB092D9
SHA-256	1ACE558CBD948DDC7C2117C70CA5EEDF9BF8619FAB0A8FFC657C21455AB114AE

Key	Value
MD5	BE33B15F272D027BC21C9732FBC68642
PackageArch	armv5tel
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	1211BE924673AEAF8E084EDB9931E304CB2C3429
SHA-256	CF742F33F805E47F13C623C9D80E88F286FB39D8693FDC43760F87349F057035