Parents (Total: 34)

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

Key	Value
FileSize	4963506
MD5	BA7ABE9928AEE6A5516450ABDB1C21E0
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.3.pl4+dfsg-1
SHA-1	00968E7127B31E10BE1AF1EC2C59AA4F0A813499
SHA-256	44259715F59BC22D2B128CBBB03D372EBE2CAA3F7FC29454EC83B36378D473CA

Key	Value
FileSize	5468332
MD5	F332F8AB3AEDFCA2EA5D895ACF7ACC2E
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.3.pl4+dfsg-2
SHA-1	043B2F9DA962E5CB78F3663B4E37BC5692AE77A1
SHA-256	3E7B4A59FDEECECCD1C3DF54227A6FF7BFF411C673EE74FC5DD3410B8C75E4EF

Key	Value
FileSize	54258222
MD5	20D344EA0AE1883850EC19DB809571E1
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.3.pl4+dfsg-1
SHA-1	09118FDC89C6DFC02CFCF2CEC2F167FB17721679
SHA-256	942B75BFB144649DDF20BC817CA7900CA352526FC90371D91A4F9E2FD18C5029

Key	Value
FileSize	5515366
MD5	8464194EA334E1A6CAE0B599F52E6FFD
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.3.pl4+dfsg-2
SHA-1	0BDA931A6D77A0FF1D41196DC5A86DB9449EA1DD
SHA-256	5AD3BCD1F3BB29899833DB6B03291ACFB1054152BB59730FE9C93E25B2B54481

Key	Value
FileSize	5745580
MD5	9C35663BF80F69CF0034EEEEB3E2BDCE
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.3.pl4+dfsg-1
SHA-1	0CFD7307D99DA0B34893FEBFA25F1A60F6873DCC
SHA-256	A8FB92E135B7619D9148041D939299DAD3C348CBD98EFC052E98706FDFE1D56B

Key	Value
FileSize	2065694
MD5	A0DA0DA3040770480766744992F2B9C8
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.3.pl4+dfsg-2
SHA-1	0F88DE6FD1DD3D8B3FE22DEF1F8C52D01516FF03
SHA-256	D70E0799E6741AD46E9C83C34CC3D9BA41A117780366BCB7B29599C42D5681E2

Key	Value
FileSize	7559606
MD5	FD6292EFB6E450AE0785D6487D884A49
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.3.pl4+dfsg-2
SHA-1	1A167003C6744D76573164D4099F2B329E73E033
SHA-256	39C52D7138EDA563A1E549493F0AAE9BF02E19B47C49DB010C38FEEAFCDADEFC

Key	Value
FileSize	6650128
MD5	33FF0B77E75D6B1E5258C7D2C369F9AB
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.3.pl4+dfsg-1
SHA-1	1EBA0FEBAF9A5CB560F827D6842EDA2B1BB86B1E
SHA-256	2D9DE53CA0837AB3E3478F065E13C133622BA48DFDBB34AAF7897EF3DD2DFE48

Key	Value
FileSize	5104178
MD5	F6100BFF7A7A0DAA15C202AE059903FC
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.3.pl4+dfsg-2
SHA-1	205B1D8C721AEC25248CF71BCB083CF67E084650
SHA-256	02EABF02E009D5E8F6D7AEE5C7821E78F059FE99B9E454114E439AA845D5E971

Key	Value
FileSize	5509628
MD5	10C049DE560361BB1A43787EAB144A63
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.3.pl4+dfsg-1
SHA-1	2150FFF459B8D36A5FD2D9D0E2673E2AFB8DE1DA
SHA-256	EB87E61A8B35CFBEB222C77DE5308C3CF2FEF6782F990B41E471A127F94B35BF