Parents (Total: 41)

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

Key	Value
FileSize	6008886
MD5	1D51102B0D6D5E50CDABC86F85099FF8
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-2
SHA-1	016D2D1490E0B3C139F3C39C8EADC69A9060C57F
SHA-256	4E46524640DF6A3A1F7F8EDD52B593EA675D8EDE7CF4535D4C334123E2A569DB

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	15421112
MD5	9825E0E3A04D916741E609ED82489D1F
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 packages 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-2
SHA-1	0B1A3181C1C7C42B7531B087F5DCA70A6E30622B
SHA-256	8F2B0D555C4FC2E5315633B6ECABB4C20E68F33910CFC576C6300FFA11A2FA08

Key	Value
FileSize	6584452
MD5	05CB84FC101B2250B060D6D481CC5D18
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-2
SHA-1	1207CCF7C8A2F8751C91E59AE55D340282FE86C5
SHA-256	E70A6C71E43A64BB3DEA4DAEDF246324E54D891582E80A4051A2D3B6F1F8E3E7

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	5867618
MD5	2301D6FD1045D668D446FAF7D7EB5967
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-2
SHA-1	160960C81972C10EC6CDA360A54B2DFC68D58F08
SHA-256	CDCC5224B9405CDB6BA5D333CC5ED93E3A7009BE52F53AE417880E598620820D

Key	Value
FileSize	6624920
MD5	0F2B076D525C7115C5D30EFDDEA1E240
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-2
SHA-1	1AE6F5E8BD36F6D7BDC266E8FA6A39320082D389
SHA-256	A91BCB4E156A63C67E9C8122C8FAD1A483F897F429E075632661CB3D12792EBE

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