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	4608692
MD5	BBB25DEA6988E5EA640D2C09B646E7CC
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	CCF6465F8EAB387C3D4F6844468920D8FE88E36D
SHA-256	406E8DE430FD4AAEFDA9082BB1959D251BE5ABFBF77F0BE4827CFC3C8E3659EE

Key	Value
FileSize	6936722
MD5	EAE1BA313B7FCFEB1157B1EC8573B177
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	0247EDC078D61092F55C92E427F899967BE065AC
SHA-256	D3ECB74D0FDA7F339F82E2397B02AF82F259D5AF9B761302C0A63DBB5F1CAF40