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	4851506
MD5	1F2A7DEE58E0D0AA4BF3C79D9FA09F4A
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	7E0304C4F12CF0036AC400FD5BBAD2F7BEA34F00
SHA-256	6FD0CC1340E2A4C3F3C56F2F2BE41C8EAD148A1EFA2AB8EE6959B60D8231E84C

Key	Value
FileSize	7358160
MD5	AC4DA70508D1795B0D7CD02488DCD05B
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	BEE9167DFEA888EE77D7DA0E4521880B16F8ACC8
SHA-256	2161B4C7BCE422FF6D23C2943101921FD8F9E46F97F9DE0E9B459F5D6EFFCCC7