Parents (Total: 4)

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

Key	Value
FileSize	6097406
MD5	806FA102C6AFDD7F245E46B8182D4EFE
PackageDescription	proof assistant for higher-order logic (toplevel and compiler) 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This packages provides coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral-coq package to be installed.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.0pl2-4
SHA-1	B7476660E85334C567589D9EAE4C20E5DDCBC996
SHA-256	7CB05C7DDA28D58AA1C77B529DD5C533E60D86042311C298DA49FC31D6FC9A4A

Key	Value
FileSize	3810994
MD5	F637DF0EA9E4B80FEEF78F96F52AD0C6
PackageDescription	proof assistant for higher-order logic (Coq 7 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides existing theories from Coq 7 in Coq 8, and allows proofs that were developed in Coq 7 to be used in Coq 8. It is also required to translate theories in Coq 7 syntax into the new syntax introduced in Coq 8. However, this package does not need to be installed to use Coq 7.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq7-libs
PackageSection	math
PackageVersion	8.0pl2-4
SHA-1	B33EC1FA31F6FD9255E5E580DC392917908ACF14
SHA-256	EB6CED25991A983C0E94B23AF1D3DF8ED8A836C3332538EA6E84743539868B9D

Key	Value
FileSize	3735480
MD5	650F8F172CB7F21A5F17704F5A0EF1AF
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 Camlp4. For more information, see <http://coq.inria.fr/>. . 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-libs
PackageSection	math
PackageVersion	8.0pl2-4
SHA-1	34EBCD3F8F7C168B38B0BA0DEEED6ADFDD4CA25A
SHA-256	BD28BA821B76FCE6A876175E1967103846A07A3933018DC6BA6461D23845F940

Key	Value
FileSize	4155076
MD5	10BBAB9FC701F571E19DE58C465D899D
PackageDescription	proof assistant for higher-order logic (gtk interface) 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.0pl2-4
SHA-1	24DC2DBCBD57B5051728680403A77A4E51657EC8
SHA-256	25FB26402BFEBA132AB903562D185BF5A7AE6B5CB81E33412EB5208103804F1A