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	23916828
MD5	E0A31C05DB4A85257FE0E0B53AC4903D
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.12.0-3+b2
SHA-1	6643F28AC6F1C66E7D6CC0A11B45D04F24A234B1
SHA-256	D655C538ADBFC8CF92245EFC1E18AC8A59B6DAC92C54CB950C9E94A165EF6E82

Key	Value
FileSize	5460596
MD5	774A9B932745EF5063DD86B0BF045BA4
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.12.0-3+b2
SHA-1	591F151805F26AEA631214478DA07505C7186983
SHA-256	9B59A75796E68E53E9D6B4344FC5206E01675C861F3B323C7AE1FE3FB4F8D65C

Key	Value
FileSize	11282876
MD5	B43A887F73F35B9D058C93AB9564FE38
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.12.0-3+b2
SHA-1	878CA3463ABB5854F8B2D4117A67DEAAEC12B16A
SHA-256	5A8F4136B59AE1C81B333306ADA50D7191C59286EE1C14D626B6AD45D93D9EE0

Key	Value
FileSize	46740
MD5	FEFB7417E357776F8D7BAB33BAE1CC5B
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.12.0-3+b2
SHA-1	2EC9206688B924E45EF45926EABBD8DF6CDA4C15
SHA-256	007B75D79343653EF7A39B1CE46F3208BF0DB045460F7E8F6E2E420D5A6CE3E9

Key	Value
FileSize	105884324
MD5	6541314219AB42B494E6B52EF4EC79DA
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.12.0-3+b2
SHA-1	730E41D5D42211EFB75058E7422BC60D87807992
SHA-256	B1FB35E08A49667CD025938BF250382A5C7854B21C88DA8FD60CE9FC29D8B11C