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	3187830
MD5	C2DE55022CCEA3636CF1F08E6913CFAD
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	DECFC7705E38178E73B635806FA23242FC0CCE22
SHA-256	E234626FE594D886B5CD1C164069994B45C1D0B4167B68F53D5CC93F11A4E988

Key	Value
FileSize	1411456
MD5	57E23E027468AB5C16D0119FB0DAA66D
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	8C51FAA9BBA574EC446A999DD4E4FAE9985B332D
SHA-256	F14E6C9C52BDF9C359E18DEEB2E57F59FFA5A4A04E3B57F31DCFA30450302FA0