Parents (Total: 175)

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

Key	Value
FileSize	19119940
MD5	3F2C25CC3221D769238749BBFF24BA83
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.6-4
SHA-1	001F74DF4C31B167AEEF5CDFD54915BA365F7D8D
SHA-256	E7F1D163E59E66DFB984538058134EE90E8C3915B7530FC6BA87627731E53CEE

Key	Value
FileSize	3405238
MD5	DFAA67E3C55F19A4F975BC7CF6D72A2A
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.6-4
SHA-1	02A6426BB245AF3346F46EFF8233EEF1D6229B4E
SHA-256	BFD0DC3D2D9BA46B63AF5A5090BBFF076D63B1E3FCA28B851ED14B713D9AD9D9

Key	Value
FileSize	18928658
MD5	9697C5D76E4A750B946F24CC959AEBA1
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.6-4
SHA-1	033498804B6726CFCEB02CCFD80AF699640BD9A6
SHA-256	7F14451683027E3F19B2BDBFB658D3EEA27C8A731BA82B84962E911A663E2215

Key	Value
FileSize	33323634
MD5	8221FED5FA89688FE2FA2C724216B02B
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.6-4build3
SHA-1	0404BEB9E0EFE946BA2A8E6CE5B2AA74E0D8F75B
SHA-256	05E54203580359D358EC964B20F29688C322AF4113EEFDA289BE9DECFCB80E4A

Key	Value
FileSize	13630512
MD5	4E6BFA96BCEB66AB57C6144D4FCBBE56
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.6-4
SHA-1	06D14DF4705B851E262211256A4A4E21920DB4A9
SHA-256	BC4F409E8D2C9D4D974AADAE354CFB9AAC63026C8CBDA262CA3482DC5B6FB432

Key	Value
FileSize	9956010
MD5	5C2286C4E767EA43D36C7A5DAB1EDCBB
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.6-4
SHA-1	0723A1F554C7BB20A717A22BC5259A5D836F99BB
SHA-256	D06BFA6EB0FAB6FDED72D8A05F955798D987B6841134B7211EA8DAE8E5869A3B

Key	Value
FileSize	32856452
MD5	875E23C885363B2B2701C039857D6E1E
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.5-2build1
SHA-1	07EA024FCBBCF4FDEE47B15C781CC8A80628B485
SHA-256	C6E8BD28AF61B806A2D7A805F8974F9A2E8342DBD42C3911CE05FCD566D942CA

Key	Value
FileSize	9926918
MD5	0BF443291DB29B000081D84499CA9D46
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.5-2build1
SHA-1	09DB280E7D0C763A4F20856C847542946B04F66C
SHA-256	A71C18AF2267D33C8FF3CB160595735F9E1DB69C8CF4C26F65286B7C197ADC3C

Key	Value
FileSize	19119318
MD5	99A998E867FD2733C8C1405FC7A90C8F
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.6-4
SHA-1	0BBC81031C694F528626A6F39B3789E45E3E705F
SHA-256	311E5D3EC72C02320652F4B0040BE90E89A7D2FBD9868D81F7841151FAD1D505

Key	Value
FileSize	3394144
MD5	AD723EA161F8C9DCCA13833968E01569
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.6-5build1
SHA-1	0CD8F0033F3641B618110A0139F2B160D42F37BE
SHA-256	DA3BD530F237A50455E34E0FC753CF3917DF2C85072C93EA942F5BA65BE10206