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	3746098
MD5	CCCB155DEAFE79242537857FE70AE952
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 Camlp5. . This package 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 package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.4pl3dfsg-1
SHA-1	C8C182051169D38478A66F21BCABB4BE4F4BAAC6
SHA-256	E51923F9A6B0A14E6BC39A0E7C16C5FF57158A5C38DEEE3118BB0D9CE1095103

Key	Value
FileSize	4040156
MD5	A5CE6DFB3C290DF28CFFD7CCBCEFD5B1
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 Camlp5. . This package 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 package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.4pl3dfsg-1
SHA-1	38B231DAEA2CB8DC7EABFEE7856350DC06400523
SHA-256	96F08F786D7048B2819EDAF2EA7F208599EA37A3CBCA12AA480C1BAA5F5D5794