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	33269648
MD5	E647B41C977B417B3C55660568BB7D47
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.11.0-1+b1
SHA-1	BC9C73A4524E0D52DDC383DF783FA724206A949D
SHA-256	D9DBF1CEBA0E52FED237794817090EAF1713E19146CE89FCCA232ACC33303A85

Key	Value
FileSize	1719048
MD5	89D84E3E98494977A65EDAFCA2F4444A
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.11.0-1+b1
SHA-1	03334AE3B8F29E5D1228555010BCB958B7F670DD
SHA-256	64FF34447A1B612DD3F59E5D1FBB593E4DC6CF6C43E36916C3F52DE4975CAABD

Key	Value
FileSize	76593512
MD5	85C75A4930DA75BF8C661650089CEB20
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.11.0-1+b1
SHA-1	755752ED837FC36C9257E625D62CEFDAD1D7FBE8
SHA-256	8DB9F73D00A9E401D18A5C514ED97FED39A4ED1ECB994ED8B04AFF6EA44E2A4A

Key	Value
FileSize	6354016
MD5	87A2154326C604C505BF5611C4516E6C
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.11.0-1+b1
SHA-1	7E8F63ED0D5F541CF7AE0F1AEB2FD84451EDF1FE
SHA-256	B714804A5879FD2B6AB1D984D89999558EEA327C25D05568584DA24EE2588ABB

Key	Value
FileSize	16070112
MD5	25592A3397FAD83B89F9D85D7C04C916
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.11.0-1+b1
SHA-1	CED2A8CD92F998FA0D876C072311B525B7925686
SHA-256	F362DDDF1BE4E5E4ED471A350D1E3050B21DC25DC3F1CAEC46490764DC7FE72F