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	88355300
MD5	86427F8C6E1257E2450E93CDC16C3168
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	AF003539E5632CB19A48B5911E530F284A2E2010
SHA-256	A2945745F4C42676C84CD965B29943D920EF8AFDEA565D6C4567D3F5E081C73C

Key	Value
FileSize	1736840
MD5	8253BDBF3499D54B9FE2E97779A83A5B
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	126B261B43B61AC64AA9E18EB61EDE156F14ADBE
SHA-256	CD8A39C002D84198FB06D791B48BD4A54AE13105267AD1C03199980EE62311C1

Key	Value
FileSize	19195248
MD5	14BFCFCE08983EE2D5C7A7D9DC30734A
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	94FCD6B3E241451971E56C127411590D30BB3517
SHA-256	7CEF2A0F1F52DD3D164210CF5B974D7A77E23F7A455193DBA449F24F6FAE2FDD

Key	Value
FileSize	7743064
MD5	CF093C366781AC2A86B115DB23858017
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	3CE37BE863400D8C6CA1F096C9DC9BD9D82796F8
SHA-256	821EC9F4F5E29C148966430769E6A192F250CDE128D17329ED27182B6CE2FB9C

Key	Value
FileSize	23918664
MD5	1DEEFB763D2A83AEC13464F88DFF060B
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	631F7FBDDFAEBF71440BFD41D17272A33E61A2CC
SHA-256	121A0BF54D92512700C5DD95222E4C778532E49BC6164C2596DB8BA7EB3EA9C3