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	2057764
MD5	918122C38E482275B35DEE182E903EBD
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.11.0-1+b1
SHA-1	D63615ADCABE2991D48C0BDCCE22FA651871867F
SHA-256	040BC7DA7A1D4026D94660D7DEA4CD523D924B1CD652F9168C245A839762DFB9

Key	Value
FileSize	6753356
MD5	22EC956EBB59855A3CF8C291FA1FDFD4
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.11.0-1+b1
SHA-1	F4A4FEB6F4520A599AA1DFDC3674F4CFB45469CF
SHA-256	AD25DD9D96CBAFD94EA341F509E6DC32BBDCA23871EE933487E81F10B6FC391E

Key	Value
FileSize	16437436
MD5	88BA6E80946C844DD65B07189E90FD46
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.11.0-1+b1
SHA-1	867969427FD6DB8F611DA364B06071DB67645B8B
SHA-256	CABA9D2F172DBFDC25F3C816F83D601D3970C95D103DF4F784CD5F89B18B6BE6

Key	Value
FileSize	83882096
MD5	3A3710796C6AA8A5FC3B22A2BB878798
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.11.0-1+b1
SHA-1	12A3006AEEB4631F2D305548FFFF43BD7752DC1E
SHA-256	D3589DAEEECADF0CEE0C55C9B1EFE0F4BEC029F73B28EC573A2490563E0D10B2

Key	Value
FileSize	21431952
MD5	0E3396F6BFEB9ABC6FB993C7BC8FB4E4
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.11.0-1+b1
SHA-1	7F04EB8D93F71C55B57839FB46E41E1231313D2B
SHA-256	6BC8A447126A3A55F45C6AB9171F4538CCEE04CCFEDC4758A4319D4B16F9DB4F