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	CC7FEB50ADFCF58F61B9C5AEE1483C99
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 emacs mode files for formatting Coq input.
PackageMaintainer	Fedora Project
PackageName	coq-emacs
PackageRelease	1.fc12
PackageVersion	8.2pl1
SHA-1	0444CCDA607AF0D003AD4267D2E7F95C94B04144
SHA-256	966FE68B6E48DFEBD5775EE130F65F30D9C640B8758CFE3BC7010D12CB454FB9

Key	Value
MD5	731877B93B7BFF238363AAC70ADEEBC1
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 emacs mode files for formatting Coq input.
PackageMaintainer	Fedora Project
PackageName	coq-emacs
PackageRelease	1.fc12
PackageVersion	8.2pl1
SHA-1	BE544D510FEC525F8ED4E72A27C3EE1541383AAA
SHA-256	A87255B491FF4D8BA48B7D67826114A8BECC442D7A52BD14ADC32D749726ABE6

Key	Value
MD5	D8864E90377DBB045C9CB0CDE1CD3291
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 emacs mode files for formatting Coq input.
PackageMaintainer	Fedora Project
PackageName	coq-emacs
PackageRelease	1.fc12
PackageVersion	8.2pl1
SHA-1	266BA5AA47F3429F77B41649F84AE5051BDC6139
SHA-256	20F0318CF5636782AAE3BABEB0905D56EC817B6062B43F3BB76FBA2EAEF98E61