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	5459888
MD5	907CA44E6B7541A79E3EFC7291F3AB64
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+b3
SHA-1	B5D3088F4A471FDBEC187056A29B7B5A53C51DB9
SHA-256	73D97EABBBE4F8235249302C83AEF36FC077EB5520604FCFFAF047A2473BB87B

Key	Value
FileSize	105866584
MD5	74E1F64C37F49363C3E169CA2173095E
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+b3
SHA-1	FB948D430C758F5C2248ABBFDF34A06C3D18002A
SHA-256	76F11F20CEDCB8AEADB3E69615CE84428A2E1AEA7ED3910E31CEC2D05752BD24

Key	Value
FileSize	11277904
MD5	56B639DC847BCA5F2351B9F1DE950969
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+b3
SHA-1	7D6E8DD36734195E9B74DE904FEC42D97C3B40B1
SHA-256	7C09660F29873C7AACEE9F7F3E2E3EA000D2EC381D92FD15D0A927792560C5AD

Key	Value
FileSize	23922476
MD5	686F81E24B8278005A3FCA5D10E10700
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+b3
SHA-1	2596C731572E541DE19892DC4CA7FFD78B053767
SHA-256	E4AFCF667E6D1B64D94BD30CFA02EDA0308AD63753E4AA89FF50B6297C745BB7

Key	Value
FileSize	46732
MD5	058AA5746FD0A15A7A5BC7D0F72DCBBB
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+b3
SHA-1	019A3D1B1A36D6B9424011F5354917663F8FC025
SHA-256	A03CC22DC04B5AF0888089AD2465E460687AAEB08DE06F9587FFF80D5E5C9BD3