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	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
FileSize	31970270
MD5	99E74F8C527FD9EA7703B6998301604C
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.4pl3dfsg-1
SHA-1	F6AE82FC93D9B39EB1FE8F0587EEC3EBBD26A300
SHA-256	F9F68FD1932A76BEDFC29CD4C79138C434C165DBAEFC7BB65D042AD5E55FDA6C

Key	Value
FileSize	32177364
MD5	42CAD4525A1F78C1ECDEDCF57E6545FD
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.4pl4dfsg-1
SHA-1	404CB5B9362AB0062E4F15B9C799D239D70215C7
SHA-256	9720678A07E98B85FE8DD94270B1F550F3AAE7E090C8C358E88DB4037D16EAC6

Key	Value
FileSize	32236078
MD5	6F5E2F2765E8FC5B1400EBC84153D63D
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.4pl4dfsg-3build2
SHA-1	BAF7684191872C850165C96E973A4F0732AC146F
SHA-256	6987BFEB2BBD95AA96E4E1C8B6C8250A63AD0AFCA53BA9586288BB723E33E1F0

Key	Value
FileSize	32011470
MD5	5729CDE95A8FA59B3F21CFEE2F271E7E
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.4pl4dfsg-1
SHA-1	3348928A417AD3F55FCBDD3182276883D73C998E
SHA-256	16A288D163C5CF288DB23520FC500687453C537724E13EF0CD26757607A9D906