Parents (Total: 25)

The searched file hash is included in 25 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	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	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	15326134
MD5	5BAB7A42F3B404C333BE296798FFF0D9
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	3949ACD05844995DC67BD582ABC6EA70E9BA4763
SHA-256	502EF00F7FB39CD820CA2735CC62E3E9FA0E3BF3E8216CB9E29DE483A891CE83

Key	Value
FileSize	2410286
MD5	69AC779D7139D77455B322928EB45231
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	3B3D548B5634EDC818EFF89AAAF95B95C15BE7F3
SHA-256	29C7C8EE7198C04E93FF175513B5264958E152CFAA50E160AC749473BD0A11B9

Key	Value
FileSize	2408956
MD5	753E63BA693FC01237561E9CD9758A8F
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	3D982C182778AF3D7F0BA80E8DE76DD2CEEF9E07
SHA-256	1E5CB4785F5D9C4915CCF7ACDC875F7E4B2D7CCEC3E1BC23E58D8BC6EB403EE1

Key	Value
FileSize	18107490
MD5	FFEF7B24780701042607F1FD66B44697
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.2.pl1+dfsg-2
SHA-1	484CD9786B14EE2BB3A943A0B1F35516421F36B5
SHA-256	A8D0FA2227BCCC44B94FF5E9ABB66C36D9321FD18914158C4B4D6C8AA10F2382

Key	Value
FileSize	13693596
MD5	E236144C94F61B34D5434E88F2822EAA
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	5644C22B573209770AB5E6E3E702C2CD1479AC74
SHA-256	C80DB985514E01D5C48643124A3BC66E0388EF9734252218FB3F1687B4BE5DEE