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	73424612
MD5	D3F617757A48BD99DDAC582A7532A1E0
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	A5123FC95F8E42833A016F6F75B9678E894BA15E
SHA-256	0306659EA27CA0D98F610B437EBFE9FDB8808C9DE0D8257F84E859999086E1DB

Key	Value
FileSize	3806504
MD5	D6F28FC9241665C8DBA0BC6E5B28B4D2
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	344034B6EA76915EC7F9FB2E6586BD40C96C0E4A
SHA-256	0458C049154E33E02D5B3588FC4ABC5188736FDC936C714BB2FF8D7AF9A16E96

Key	Value
FileSize	8862248
MD5	DB0AFDFAFB2040B30B756A7CD578F6B9
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	5C12F3D05E2F3349BD760853394055D21F23D760
SHA-256	6A5860B00B10BA9E296D0B3DC81BAAF402E48364A5835A19FFEE52749D9D4F2C

Key	Value
FileSize	20336724
MD5	D228FE28FB841FBBE39047D9728EEEBA
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	4E325907CD20998191280D77FE03740F1586AFE3
SHA-256	FDBE5543314A038F05284C0100385E68B92446E1814BC748F33411E35F9CDF34

Key	Value
FileSize	101700
MD5	E6279CCB357EE29960EE4F5D913E0A7E
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	DB0E662B6F5037E95661744A18FB6EFF4F6CAE27
SHA-256	A65774CC8C7E05AFCDFE2C7A5DB5DC124E139D2DA2CCF255510240B1BBE6A820