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	15064624
MD5	106A3551066A3B840C03C6D09E0CAAAA
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	6F17F1A09B9497C90685F8D0E5838DAAFF97B5D5
SHA-256	D06CDBA9A0988E31FB26BA766E548A2A422EEF2D4725CE2C327D7908895284B1

Key	Value
FileSize	28979508
MD5	D8793330FECCE9A82C4394CB4CE1A3DB
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	064F26BC432CC3BE64705068DE277A304D216C89
SHA-256	CE89355FC2A382076BD6808DE42AB0CF2C198EE29C705B932976700B141BD52A

Key	Value
FileSize	5401620
MD5	A0767D4168B666C9820C4872903F84CD
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	D3CC99B51AEB7B24A67D3728A01C467B0E1C1564
SHA-256	C069226D67E62738F667051F404AC046CBD8DDCFAF51AB0847FBE10AE2F87B67

Key	Value
FileSize	1682244
MD5	9993D1E152B8219751CDFEB701F4526F
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	1589E2D45C5A6EC4CB9C45908E2848F49C468ED6
SHA-256	DC5D3BBA264103F8D39ABC98783D65021C90259C9BF57E84B8E75267E34DAB99

Key	Value
FileSize	66470300
MD5	612B28748E8242C4ACF780114121AE0F
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	F5BAF0CCE0ACFC8E06341E8DEFA5EFCA70BA45CE
SHA-256	5AB4DF4E29C9A40D0458659EC35682C6C74E97EDE1076C867473ADBBE6205BD0