Parents (Total: 23)

The searched file hash is included in 23 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	3806642
MD5	42E0CC5C48BB0D15DCD56364F118983E
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.4pl4dfsg-1
SHA-1	1D2E62556BA42756F35C1FF8883C2E69E2CA20B3
SHA-256	F82CDF4105104707AB5CAF03DDF6D691E2AADFC8D84217AA6FE0289D8BA95339

Key	Value
FileSize	3922284
MD5	A729C108DC2BF77B7B348415C9E19012
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.4pl4dfsg-1
SHA-1	20BC7404904D468F92793A84CA31DA1234A580AA
SHA-256	D55637546231799A1B3D1712F08C8980BF78347617587794801DEA4EC3D751F5

Key	Value
FileSize	2466854
MD5	774D56FC94FD7D5166141388B68A71E6
PackageDescription	documentation for Coq in pdf format 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 contains its documentation and tutorials in pdf format.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-doc-pdf
PackageSection	non-free/doc
PackageVersion	8.4pl4-1
SHA-1	3121C0119BC91B8BEDED5781C909116638234B52
SHA-256	C1D5A3BBF0A11223BD98ACB608CA8B6B605C64770E7AA18EEE44C5A95748B622

Key	Value
FileSize	32177364
MD5	42CAD4525A1F78C1ECDEDCF57E6545FD
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.4pl4dfsg-1
SHA-1	404CB5B9362AB0062E4F15B9C799D239D70215C7
SHA-256	9720678A07E98B85FE8DD94270B1F550F3AAE7E090C8C358E88DB4037D16EAC6

Key	Value
FileSize	2467952
MD5	21871C24E455EEE22A6DCFE5628532EB
PackageDescription	documentation for Coq in pdf format 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 contains its documentation and tutorials in pdf format.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-doc-pdf
PackageSection	non-free/doc
PackageVersion	8.4pl4-2
SHA-1	4350756C8063E8776A8348E384158259ABEF20C0
SHA-256	60FC068137C9B5DA3B5AF47C4E22C71A0D5098B2646F0873F2828C656A213DEC

Key	Value
FileSize	1538216
MD5	408946D67FF7EF25805C2BFE45E7AAF7
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.4pl4dfsg-1
SHA-1	4855E0BA58E776C7348A24C0581DBE82681BE142
SHA-256	2CB7A12B8B58A3BBA6007EE151D4DF6EA338F773649101DEF66F3263A4AFC4DE

Key	Value
FileSize	1580148
MD5	E528B47D66F74BAE28D25E7ABD00BDA5
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.4pl4dfsg-1
SHA-1	4A048F6E1179A99589B5B4E4D5EF8AD28C5F4877
SHA-256	AB1AC9FDEBE1DEE52A889FE22BBE51CDBC0C527A8C13F58187A39FD9E8DBF211

Key	Value
FileSize	473846
MD5	61EFD869800F952A327F72ACD00BFF71
PackageDescription	documentation for Coq in html format 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 contains its documentation and tutorials in html format.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-doc-html
PackageSection	non-free/doc
PackageVersion	8.4pl4-1
SHA-1	57BFA032F7F8D165F114D2DEDA5642CF02A64610
SHA-256	D75B52A786E3650B60848D557A75CA7F6859F5C0D4ACB3F1DF3276FD2493C742

Key	Value
FileSize	797340
MD5	A75119AA2590AFF8C9ABDF3B4149A1D8
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.4pl4dfsg-1
SHA-1	57E67381F6AC3D8461CA6F39DD4303ADB6891340
SHA-256	8E18FFCFF3429673A72E457073CC2E031BE53B2A961015D98A1554EDA81AAB2D

Key	Value
FileSize	4119678
MD5	DCDDAFBE1E8DBACA51472EBEE069C8AA
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 coqmktop, 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.4pl4dfsg-1
SHA-1	5EEF94038223F715A921B97D4E30BDDC3CF8C403
SHA-256	094DE57541732D1F8A16BFBD4F351336BEE9AEA68EF8A5F35CC32F63E4936659