Parents (Total: 14)

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

Key	Value
MD5	8A45159F9B9846264E38916821CC9768
PackageArch	noarch
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 describes 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.fc19
PackageVersion	8.4pl2
SHA-1	8A954589989311EF5C286DDE9F2DE6859AC87248
SHA-256	D4D58429469D08F9D9D70E063943E7F26212AD3B46629D97FCAF37D09135AB28

Key	Value
MD5	BAFECC85E49F2E8795F1D734887D960F
PackageArch	noarch
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 describes 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.fc18
PackageVersion	8.4
SHA-1	3C356CC1B012662DD49DCB63D79AA0E61786F758
SHA-256	21A0B6820948ADAA91E1B7ABEF812CD8B12295A8270444F2E757E0B374510659

Key	Value
FileSize	473720
MD5	512439FD435BDE2A002B0788B053B4A0
PackageDescription	documentation for Coq in html format 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 contains its documentation and tutorials in html format.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-doc-html
PackageSection	non-free/doc
PackageVersion	8.4pl4-2
SHA-1	6BF752FAE086FD79AF57D3C2CD3DC8017CD66CF5
SHA-256	B624112BA962DA667950A36316AF845F2A5FD205617941E772A238A538A6A89C

Key	Value
MD5	589FA57108B60A851C43722254617BDC
PackageArch	noarch
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 describes 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	4.fc23
PackageVersion	8.4pl6
SHA-1	9A1868903700ED613EB4C9ACBEBEDB842675A184
SHA-256	B6DD2D918FC3921E7D5F8A91181F22A3A2B7C804DF47BFC65D67B7B334780838

Key	Value
MD5	72A13A7C5887231F263C3E23D42757A4
PackageArch	noarch
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 describes 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.fc24
PackageVersion	8.5pl1
SHA-1	0DE3D54C744029E2FC9E62EEFE09511E61A8D998
SHA-256	AD1C030778F66EC404F4F4328BBCD4221FC1C73C98CAC0648A35460C05A9EB96

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
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	413392
MD5	8358D60136CFCC6625E45144775ED36D
PackageDescription	documentation for Coq in html format 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 contains its documentation and tutorials in html format.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-doc-html
PackageSection	non-free/doc
PackageVersion	8.4pl2-1
SHA-1	D960C3CA1D9063F28979783FFB3A7D06ACE6573A
SHA-256	B09F0C2366C86B922D697F8B9A1790EF0B4E22C390ABF090ED964F0B9521FE2A

Key	Value
FileSize	548554
MD5	9632CC05FA4B726F40D931DD1350D0EB
PackageDescription	documentation for Coq in html format 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 contains its documentation and tutorials in html format.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-doc-html
PackageSection	non-free/doc
PackageVersion	8.6-1
SHA-1	8AC904D680E0AC36CE1D804EB207538C415526A1
SHA-256	0ED05F70217FD734D413CF7AE4DC0497BA466353305F46A2C803168485B64EE3

Key	Value
FileSize	473846
MD5	61EFD869800F952A327F72ACD00BFF71
PackageDescription	documentation for Coq in html format 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 contains its documentation and tutorials in html format.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-doc-html
PackageSection	non-free/doc
PackageVersion	8.4pl4-1
SHA-1	57BFA032F7F8D165F114D2DEDA5642CF02A64610
SHA-256	D75B52A786E3650B60848D557A75CA7F6859F5C0D4ACB3F1DF3276FD2493C742

Key	Value
FileSize	462740
MD5	7CC59BC8505B5418704944BB8171ECCD
PackageDescription	documentation for Coq in html format 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 contains its documentation and tutorials in html format.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-doc-html
PackageSection	non-free/doc
PackageVersion	8.6-1
SHA-1	822DF86E6B488955ECD75D3E62647048F10369F5
SHA-256	5FF5F9B3AC2136E450CBB61573CCBF90CB5B8C7DD084774839BF3C4DDA35E588

Key	Value
FileSize	415730
MD5	8E3CF067AFA4C244A8266919B5F6E85D
PackageDescription	documentation for Coq in html format 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 contains its documentation and tutorials in html format.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-doc-html
PackageSection	non-free/doc
PackageVersion	8.4pl4-2
SHA-1	11F7B783916C028594BA7AF40CD3E7CC3B86EC3C
SHA-256	E97F5A4941486399AC576EF0173B68B71B54325175365EDFB7BC48ABEA7F55F3

Key	Value
MD5	A2DACE713E297309600D5DCE07641243
PackageArch	noarch
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 describes 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.fc22
PackageVersion	8.4pl6
SHA-1	CF36D3985857F3FF81AEF946971F196EBB9295B6
SHA-256	77F30F781AAAD62AAA16ED2B5C38727280C4D5BE0C0D33C56E536B618864C54E