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	6601416
MD5	5214F29C0028381E782A522D0848D5C3
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	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.0pl3-2ubuntu1
SHA-1	AB73C59E5E9BA086F669B75A25E32493BD731110
SHA-256	95F6961F1B74F98909847966E1FC5A1D207B43934D1C71948F35877862E450C4

Key	Value
FileSize	3680374
MD5	3AAAE2CF0995C8C38394FCCB50E5C7D4
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	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.0pl3-2ubuntu1
SHA-1	46AE46AB59FF4C4AE4DB3379740DD9BF138C4EEC
SHA-256	F074F3B21AF15739BC3D26FCFA5F50B033720C5125B702E47F2F00F3C37AF53B