Parents (Total: 13)

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

Key	Value
FileSize	5902968
MD5	BBB496D8BB92340B6459C899C4D9D988
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.pl2+dfsg-1ubuntu1
SHA-1	1A80148498911CDAC118692100F8D606948A7DD2
SHA-256	C76D4213E3868759B8A6418E90DB0831844D43CA900605E9E21340D3748BD73F

Key	Value
FileSize	15133800
MD5	87EABBFF51CD851A51637F03B9B80887
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.pl2+dfsg-1ubuntu1
SHA-1	E0512F161471E1DB0E8173125332743BB69D0087
SHA-256	B4838C81E4BA3B1ED0C42F5A8657D6C854CD4DF335938740BBCC5CEE72C567C8

Key	Value
FileSize	6983036
MD5	1FB6B04D4E69425841EDF0A3047FC70A
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.pl2+dfsg-1ubuntu1
SHA-1	AAD56F7B7363FE3545D6DDF5F679A96CD75C876B
SHA-256	9E13344A97F58746C472F5CA7CDFED1DF387E94CF6917885570715FDB0F452E7

Key	Value
FileSize	5898780
MD5	46251D7CBB3B10FD249FFC05B0FAD44D
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.pl2+dfsg-1ubuntu1
SHA-1	49FC256F21BC0643A793E91507E56A072CBC6C02
SHA-256	41B062E37B53345D5FDE619B53FF4AC5825C7531EDB753820E5600692E1DA1F8

Key	Value
FileSize	2383842
MD5	D6E07318D95A911046D0A0ACA5122FF6
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.pl2+dfsg-1ubuntu1
SHA-1	EBC4E6A913CEF9B972B743CB30F714D98AADC400
SHA-256	E670224ADB24A8F56A4C5EC0892080EEB04B48D249B86D5A91163B21789FCE49

Key	Value
FileSize	18375166
MD5	BF330CAEB7162A89AF36CAD3C75F82D7
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.pl2+dfsg-1ubuntu1
SHA-1	C93EE7A0210B0BA4A98A65BDB7C07890679DCB28
SHA-256	B22B6499DEE238446522ED8880E439BFAF3289DD51BA1B5982F25657AF431871

Key	Value
FileSize	15100204
MD5	69B8B34940620F9B3FB97A11D2A3D6B6
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.pl2+dfsg-1ubuntu1
SHA-1	F34A9908A529157A66A567CB5A29D1CF309B2831
SHA-256	A1FC8AE6B98E0956D782A370BC5215C69845DC7410FDF44171E68FF8FDD9B7AB

Key	Value
FileSize	3641486
MD5	094FCF2934CDC5C36C6F4785206A8C1D
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.pl2+dfsg-1ubuntu1
SHA-1	041A6E1A5898506A9C0BED9F10F4F27D4BCC2092
SHA-256	C19ADEBCD6E833A7869E41E81FBDC2697FBC7E57C273F7DA84734407A1625FC5

Key	Value
FileSize	1930936
MD5	AD9B0B8ACB9F99E45D585366D4D5C51F
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.pl2+dfsg-1ubuntu1
SHA-1	B7FB82914A3BD60324D82ACC3327259EA7A343F1
SHA-256	5095F7BA83D3D057A94ABA155BC6BCD61DB889BCAC46907E0C2D623400B98B03

Key	Value
FileSize	6425022
MD5	2C760F54F38D63E7643D0755A38F0DC7
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.pl2+dfsg-1ubuntu1
SHA-1	82F1E5AF3B5FEB7E4FDDB71707762A664F204EF4
SHA-256	7675835EEBCF2AC2BBF214F5AF8E1275653C3B637776AB4305C95E42B6BDC228

Key	Value
FileSize	13469956
MD5	1995F4F50974ACB4A65C6C0CD7D9452D
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.pl2+dfsg-1ubuntu1
SHA-1	8B299F001351ACC728401E8ED0376F9FD846EBFE
SHA-256	AD6CCE0FD12781878117231C22825FD9A364794AC0AC5BE2E94A96D3206BF42E

Key	Value
FileSize	6470648
MD5	F9D4DCD76372A702991D78DFC447A1C0
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.pl2+dfsg-1ubuntu1
SHA-1	7B913F0E18009B76BAECCF06303D7D738FF6CF01
SHA-256	C44ACB626E2139FD864DF9AA783113891BAEB2BD62CCF4186995D94F80A21316

Key	Value
FileSize	6024488
MD5	73455C447CA8BD6B7DA82A177FA5C5C9
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.pl2+dfsg-1ubuntu1
SHA-1	38811B16BCC03C253CB98667AC44BC2F3174DFD4
SHA-256	ED40FCA7D1BECB78EDB2952DE1C72AD6DCDA602184C6A72435B853F4BDF433D5