Parents (Total: 58)

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

Key	Value
FileSize	19119940
MD5	3F2C25CC3221D769238749BBFF24BA83
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.6-4
SHA-1	001F74DF4C31B167AEEF5CDFD54915BA365F7D8D
SHA-256	E7F1D163E59E66DFB984538058134EE90E8C3915B7530FC6BA87627731E53CEE

Key	Value
FileSize	19119318
MD5	99A998E867FD2733C8C1405FC7A90C8F
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.6-4
SHA-1	0BBC81031C694F528626A6F39B3789E45E3E705F
SHA-256	311E5D3EC72C02320652F4B0040BE90E89A7D2FBD9868D81F7841151FAD1D505

Key	Value
FileSize	13953402
MD5	9FDBA45EF4DFDCB30016DA5EFA3EC7FA
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.6-4
SHA-1	1575F63338A2F94AAE409DD733C7E419FAB18D58
SHA-256	7578534F25DAECF0A9F88855E5B99E4D64015DFEECE0F16DD7A47F2E7BA33B35

Key	Value
FileSize	63758
MD5	6DC4BE592DFA4E4AF0484FEF809406B4
PackageDescription	documentation 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 is a dummy package which will install the documentation in html and pdf formats.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-doc
PackageSection	non-free/doc
PackageVersion	8.6-1
SHA-1	163AFF2CF3C2A0EDC00DE2CCD87FC35995415B1C
SHA-256	1F99C276671FAFD5D4617D1A53495C97B4F25ACFA07ADD51337579DB29A8F011

Key	Value
FileSize	1891522
MD5	CB7D9EE933D0A3ED18A31F1F382F0480
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.6-4
SHA-1	1AFA7C97D5564ED5491914AB485355DBE5F05B00
SHA-256	65681B65A2E4A4968D61B4874575AEB105BD385AF735E62C4B6E9205D7D98035

Key	Value
FileSize	3576306
MD5	F4444D3C41E1F4AD05575878DF53E598
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.6-5+b1
SHA-1	1E012FAB5AEC389ED5CE9B93CEF55D31FBC6B86F
SHA-256	110038257F8E8D4512734D161CFDB3A90E8F8FEDCB1FC33E3BF55FD6D4190647

Key	Value
FileSize	13593774
MD5	233FCA1EACE73DA56D685A86C2B314F2
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.6-4
SHA-1	22EA5C4EAAFD5FC9E89437B0ADE6BA0B479EB646
SHA-256	12B2D742B7577C213D80FBBD7414566FBCC2E7A3E6D5604ABFF225ED5B135EE3

Key	Value
FileSize	14377820
MD5	36536533D4F92A4BA0DF798105FC6165
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.6-5+b1
SHA-1	2502E79CA9360D82DBEF256FBC4A94D9E7E97F89
SHA-256	6CA1D2E398929A1EC6BAD21761262086CB9E1F35A0FF65AD6A3C8A9ACCA2685D

Key	Value
FileSize	3502166
MD5	17361518FAF310B3FD42EE73FC34A1E7
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.6-4
SHA-1	2ACA9FFDBCFCF99176CE51E0F64EA7212D853509
SHA-256	1326780628BB77E245969E6D6CBA0C5BF1AFA05F925C44F34F9351CCCC9FA076

Key	Value
FileSize	1434024
MD5	BA2D2E02F18E7ADE4B506BF74C2C3A66
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.6-4
SHA-1	30F515B4B0E7F7B800368495479B0F8E691207DE
SHA-256	44D39F6985C73681387E4F1D1FBBD0542D35DD9AF1FBFE1222D399697C0005BA