Parents (Total: 17)

The searched file hash is included in 17 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	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	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	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

Key	Value
FileSize	730768
MD5	78A007B9865ECE570A820F45397EA349
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	6DB9B9ADB82AB70CE01D6DDD980825C81252FF77
SHA-256	5F6B88AA15DC24569F60D0A6760E298AA963B2C0FF098F7D394620F92456196C

Key	Value
FileSize	3780318
MD5	C017FF21BDEBC69D5175E542B26ECE18
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	7E4401BFA532255E1FD2EA69F0D054A77E9B20F6
SHA-256	2E1A4769004C2DCB0B21F8B21BCEBD932323B35F1AB7584CD730894C3D937CE9

Key	Value
FileSize	3831960
MD5	ABDFCEF9A5D87CE736ECAD1EFBE908F8
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	88B33308E336D0DD5DC8BBE3643AC0240B09A946
SHA-256	C27E5FA366F1C7D482540A44FD8BC7CC53DCAB93FFD9E5DD02A1D5AE32BCFC60