Parents (Total: 16)

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

Key	Value
FileSize	6687714
MD5	C19F10158D0ADD5872969F02569B7B8F
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.2.pl1+dfsg-6
SHA-1	05753C44346F4F920B97FDB0843F2E6DAC4DD3C6
SHA-256	F972702C0173715EFFB104DA88503AB819F3DFEEF72BF008F0007B0382762AFA

Key	Value
FileSize	6544758
MD5	876847C236E7D9F6E7D6192886D55E73
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.2.pl1+dfsg-6
SHA-1	093974350666D3D9884286559D4EA39ACB5E8CBB
SHA-256	3E7BD3011D79CEF1B27E3ED755E3AEC4094CBC61FD8DE9FDEF165656C7457B1B

Key	Value
FileSize	15429974
MD5	042032D5D2D21D9008C5B5057C8975B5
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-coq package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.2.pl1+dfsg-6
SHA-1	156221DDF5B641EC31328074CF7EB1C405035858
SHA-256	FEF454C1F550972AECF7958BB28E39576E8D95C4AA6681F2A9C7166221818695

Key	Value
FileSize	2412574
MD5	5D56B342BB6A59808E22CF3EA6CEE3E8
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.2.pl1+dfsg-6
SHA-1	2768D69B6AE77B5AD151BF1EDE6A6158563A9295
SHA-256	0116791CCCA3E55452AEF1FCD95B2F31380AEAE95C0C5265A6A06FB63A55456F

Key	Value
FileSize	6994868
MD5	03E1306E30EF6AE94C43CCF29FB880F8
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.2.pl1+dfsg-6
SHA-1	291AC4D88747DECEEBB0E2F7D9E7C2E6CE8AD0CB
SHA-256	0C93BB041B66DB51EDB1FA98D6ABAA82C069D3DB9F0CA78B652E0103FC349F35

Key	Value
FileSize	13698864
MD5	1A619118FD1079024949EA6763405BA9
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-coq package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.2.pl1+dfsg-6
SHA-1	3D9FE7FA9941EB51469E320B9B91FAEBE95EB114
SHA-256	B31FF4C4ACABC675F37A9B8F2683A0F70A218CF77811E95B3E9B5BDE767FA736

Key	Value
FileSize	1950964
MD5	B02868DE5497990B2409150C6DC922E1
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.2.pl1+dfsg-6
SHA-1	46770F4D7F28833C53AD8BA34AF516DD292BEB60
SHA-256	7C61E42B4F0B27F42B1B4D440ACC440D2C40DE852879B5FBE73E0189C238DCD3

Key	Value
FileSize	5884584
MD5	A759301B252F55966F93F12CCE211FB9
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.2.pl1+dfsg-6
SHA-1	596922A89D25BBA21A2F7B192955D5E689DD5F38
SHA-256	9D3FFC22565DA9F0A7AD072F01240429700996BA469786914C45A8554E55E603

Key	Value
FileSize	3665522
MD5	CE65D257E084BA91D1536454E2CFF9CC
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-coq package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.2.pl1+dfsg-6
SHA-1	5FCBB749DA6C374AC908F98FB31C720EA59EEECE
SHA-256	D34553F963438BD5272046B72D709E74D2317240555359137C2A65E1785C8444

Key	Value
FileSize	6590284
MD5	95DD3A58DFE588707158072202A8D4A1
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.2.pl1+dfsg-6
SHA-1	6E3064F1BC51A2FEA6C9468F865689B34232A93F
SHA-256	37C1BF7A419A1388116FAD7EF814EA4209F400C58A8A40C20E1510F1D8A7DF40