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	1805972
MD5	BF0C0BB722B16F6F1ACB59A37958EE0E
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.16.1+dfsg-1+b1
SHA-1	9C0D900170DAAD528B54534BA747AC80A14CACAE
SHA-256	F0E03998206B4518F0B3B6D3146F1816DD7BF3879DBD3679E822A81163F9E8B4

Key	Value
FileSize	42455752
MD5	FF07A095506B4F5C4134AA13BFCBBA34
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-core-ocaml-dev
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	031DF8DA017E553C330D47CF3C823D448ECC86E3
SHA-256	54C3578562CDCE8738A569B0AF159A97119B33211219C0FC03FD63D407BBED01

Key	Value
FileSize	21529864
MD5	A8176C122C6660D7DD38A3B9C63FAF8C
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	libcoq-stdlib
PackageSection	math
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	D68E7D784E16A3B9206E75624CB6B93F3290A022
SHA-256	0BC789905655B606FC571BA55A4A66A10CED9E5AFDCDD2FCF620D05BB6A1952E

Key	Value
FileSize	87492532
MD5	1CC75A3C2ABE0B8720A6738D756EE28C
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.16.1+dfsg-1+b1
SHA-1	648D483027FB70BA62DA3B7ABF097B0985CA53AB
SHA-256	3BF5CFA048E292C3A2FE297E3180370DAA5DE038ECB67E44E8FA96DE02AB8A6A

Key	Value
FileSize	21747084
MD5	6E600ABBD7CFA48078A4B1F3B4FAF1E7
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-core-ocaml
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b1
SHA-1	E4FC0BB3A71A08EEB2D358C0BCAA79F33BCE11AD
SHA-256	14C0D5F11F976DC3E68CF6AAAFB0590F126722FC04487F3F415A8CB1FED76543