Parents (Total: 5)

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

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
FileSize	18107490
MD5	FFEF7B24780701042607F1FD66B44697
PackageDescription	proof assistant for higher-order logic (theories) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.2.pl1+dfsg-2
SHA-1	484CD9786B14EE2BB3A943A0B1F35516421F36B5
SHA-256	A8D0FA2227BCCC44B94FF5E9ABB66C36D9321FD18914158C4B4D6C8AA10F2382

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
FileSize	18108438
MD5	4CE1C7DF48D2D7F25D2D1CD698023E6B
PackageDescription	proof assistant for higher-order logic (theories) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.2.pl1+dfsg-6
SHA-1	EEBAD0194D02FBD87C9F8D6011737151E620F112
SHA-256	F671C8C02FD5F7A48575D5D9552E4F956620BFB235D90E4B3BED86F6B53E543F

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