Parents (Total: 5)

The searched file hash is included in 5 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	76902004
MD5	EBCDB8D76526527080DF3EB83DCC9A6C
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	06E110DF706FCF6B666B8B1D330A19F45BB7AC60
SHA-256	17AB2D46916A747521CB7B31ABDD1D916F6F4A68C6BCE45DA87F1E2E2AFBCC6E

Key	Value
FileSize	6051560
MD5	4952BA97426A791FB1F736FE71437B2E
PackageDescription	runtime libraries for Coq 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 runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.9.1-5+b1
SHA-1	765E2755C94414E2614E7C6168733F8AEBBAE92C
SHA-256	EDEF50CDA72DB9EBD692CF228C001681007D3B2BEF64557B6FCEF1EAC0A93964

Key	Value
FileSize	20357464
MD5	031011D5ED851DA5DCA72C37F344000C
PackageDescription	proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.9.1-5+b1
SHA-1	6AF86BC82EC19772A938325A639C203C3B161A00
SHA-256	934DB2F8CC01B684514F750AAFBEBD3F76CCC83E8E7F9985F91E7E52EBB06A7C

Key	Value
FileSize	15420420
MD5	53C3928A01EA094905CABA7593D81A89
PackageDescription	development libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.9.1-5+b1
SHA-1	9482DE5DDEF43EB2B7751D58F3B8C2FAB9671FD7
SHA-256	1A09FA0518470A647175BF5FA9D4FE9D227C0B1D211ECD61602E756EDA0DC0EC

Key	Value
FileSize	2209780
MD5	0C2C7B473ACFDB85E2D7E3BCF873249C
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 Camlp5. . 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.9.1-5+b1
SHA-1	4BBBC59092DD30C228B3163E41E78EA8BCB720E6
SHA-256	739EA530675B7E2B494B5C8B24CEAC1E0D01D87B128DB9CAFBFF6DE811272D22