Parents (Total: 2)

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

Key	Value
FileSize	7034058
MD5	9671FA0AE1E16606C1D84C69F7839451
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	FA626E68E71B452F183242DB32D63DFDCCE7B489
SHA-256	E8AA86D8E8EB64341957AEF7111302E78423D9F7A420A188598D011AF64A04E6

Key	Value
FileSize	4689476
MD5	193F96C8B3355FA913F5C7824B7F6AD3
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	18CB7476B66BDA46CE5DBE999A791E7B1717542E
SHA-256	90E29DB1BA9A38C032C92B61F93FD731F93BA69B23E9B9B6C8FEBD0B812BAA6B