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	68443024
MD5	B171705A119206EC3894BC9484135EDA
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.9.1-5+b1
SHA-1	60404B508CD311195BB1EF173D7A6B8C6A125E9F
SHA-256	F0726E41C76627D5ADC8D106521F6695C7A26EA4872E9D733226560981C02FE3

Key	Value
FileSize	66470300
MD5	612B28748E8242C4ACF780114121AE0F
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.9.1-5+b1
SHA-1	F5BAF0CCE0ACFC8E06341E8DEFA5EFCA70BA45CE
SHA-256	5AB4DF4E29C9A40D0458659EC35682C6C74E97EDE1076C867473ADBBE6205BD0