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	A1A091BEE2805A56DBA97A1B7363EF7F
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 documentation and tutorials for the system. The main documentation comes in two parts: the main Library documentation, which decribes all Coq.* modules, and the Reference Manual, which gives a more complete description of the whole system. Included are also HTML versions of both. Furthermore, there are two tutorials, the main one, and one specifically on recursive types. The example code for the latter is also included.
PackageMaintainer	Fedora Project
PackageName	coq-doc
PackageRelease	1.fc12
PackageVersion	8.2pl1
SHA-1	758690643D2716BF0C25CC4CE2DC460267D6977A
SHA-256	633849E037797AF53A488878A9FE36215DC72EFCA743DE05D1CEA76257EFEFD6

Key	Value
MD5	BF950CC00540B19D62A63332133BC651
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 documentation and tutorials for the system. The main documentation comes in two parts: the main Library documentation, which decribes all Coq.* modules, and the Reference Manual, which gives a more complete description of the whole system. Included are also HTML versions of both. Furthermore, there are two tutorials, the main one, and one specifically on recursive types. The example code for the latter is also included.
PackageMaintainer	Fedora Project
PackageName	coq-doc
PackageRelease	1.fc12
PackageVersion	8.2pl1
SHA-1	90E05FCE3B005C598E393764BF6965A8F1E90C51
SHA-256	9CA9F61F5DD14525520C5CBB4840E03655664591D59A7D43EF25CF0A4002BE25

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	980CE95C530F3AB2D6A4C4BF196CEE18
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 documentation and tutorials for the system. The main documentation comes in two parts: the main Library documentation, which decribes all Coq.* modules, and the Reference Manual, which gives a more complete description of the whole system. Included are also HTML versions of both. Furthermore, there are two tutorials, the main one, and one specifically on recursive types. The example code for the latter is also included.
PackageMaintainer	Fedora Project
PackageName	coq-doc
PackageRelease	1.fc12
PackageVersion	8.2pl1
SHA-1	F89C7FB5C9D2414C08AB6E532DF3205090BB7C32
SHA-256	98D5330651505D3A793BE1A73C9538E51BE6A0D87C7E7FA29519D56724BE8368

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