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	42725424
MD5	7478C7296E4475A69CCA0146E6EB0109
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+b2
SHA-1	36475549CB8767A40EC4EEAA7F859F36BFAF88E0
SHA-256	CF725D92990AFE1DD02E54BEED68CF1C6D3C2C77043E67796136081820588200

Key	Value
FileSize	1993412
MD5	DFF704289D81CFB3C53FB106F5FAE951
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+b2
SHA-1	0AA9B2D42FDA4B0F66338306DACF0DF651DE14A2
SHA-256	9D87C74B6E0FED71FDDCF79A3412DB9CF3C4F3B2770908DDFE23EF89D0ABFF82

Key	Value
FileSize	21526056
MD5	CF6430DEFD7199BACC9EA257E459B608
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+b2
SHA-1	C2A852999F5A526C806BA70D474B2DCD59050DDE
SHA-256	8041ED20FB162A30553E273D9D3E8A3E67D97E08020B604AF2402CC4BE2E6431

Key	Value
FileSize	93212572
MD5	F6794ACA0A7A2EEA78DDBB0F0BEE49B6
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+b2
SHA-1	0FBFE2E8CC06FEEF4C1313DFD601385645EE2A27
SHA-256	6496DB435F9585E1F1527D9418070F15977B049C01C37C9BD33F7CC4152F8677

Key	Value
FileSize	22556068
MD5	FBFE217BA4C5885CF4E781483300D541
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+b2
SHA-1	0B79DA6A7618C5F40221CE742C10EA2F962F735D
SHA-256	C796433DBEBC58BAB6C26D33DEBA19E8EFDFC32FCC4D69332CA90774966210E3