Parents (Total: 71)

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

Key	Value
FileSize	5402476
MD5	EB78B8B42F1F57E5E70C8DA18E34D012
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.9.1-2+b2
SHA-1	041435EFAB48D4F7C51CE96E501B61F321405D94
SHA-256	26A5298FA313C93AF261A1169262AF6A2FD602482E9E34C3D5E231DD071398DD

Key	Value
FileSize	28979508
MD5	D8793330FECCE9A82C4394CB4CE1A3DB
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.9.1-5+b1
SHA-1	064F26BC432CC3BE64705068DE277A304D216C89
SHA-256	CE89355FC2A382076BD6808DE42AB0CF2C198EE29C705B932976700B141BD52A

Key	Value
FileSize	76902004
MD5	EBCDB8D76526527080DF3EB83DCC9A6C
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.9.1-5+b1
SHA-1	06E110DF706FCF6B666B8B1D330A19F45BB7AC60
SHA-256	17AB2D46916A747521CB7B31ABDD1D916F6F4A68C6BCE45DA87F1E2E2AFBCC6E

Key	Value
FileSize	14774972
MD5	D433E0440ADAAD09DBD60CB8E94C714C
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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.9.1-2+b2
SHA-1	0786A4979EED548C92C6DA094C3AB4C3F8222909
SHA-256	0BC8A061C722C235401F73EDD9201B69B4DCEE1217C6E2C56C68359D4EBBC701

Key	Value
FileSize	15770472
MD5	23CCDE01CB09495EF7BD165BF41F64BB
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 and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.9.1-5+b1
SHA-1	085FDB56537C505FD617D71ABDDF8BCEE23B67B9
SHA-256	A7B320C5A52E1D7F93F46C93DCEB9130BFF268F0A4C2B777D3F9B395092C525E

Key	Value
FileSize	5608784
MD5	564393D381A0F08F6C47E901BA64C076
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.9.1-5+b1
SHA-1	0EBABC24F84C4E984BA6937A9CF6BABD62CC5C82
SHA-256	F36112DB9F85521D2DA43E776BABF6029937581DF701C2280BA9F53B353740BD

Key	Value
FileSize	5682652
MD5	01740C513C2E923683076815DB0AF9CA
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.9.1-2+b1
SHA-1	0F8454E1E5FDFF36BBEEF2455DDFF9F5007EB503
SHA-256	49C71675121E28ED2910AEE221AA84053ABA9E77B16F4F6B3710A82EBDE36A50

Key	Value
FileSize	1682244
MD5	9993D1E152B8219751CDFEB701F4526F
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.9.1-5+b1
SHA-1	1589E2D45C5A6EC4CB9C45908E2848F49C468ED6
SHA-256	DC5D3BBA264103F8D39ABC98783D65021C90259C9BF57E84B8E75267E34DAB99

Key	Value
FileSize	60508948
MD5	7D7520927CD14D03757F92CCA5AF2CAF
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. . The proofgeneral package allows proofs to be edited using Emacs and XEmacs.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.9.1-1
SHA-1	18A2D17787464E555ACCA9A307A5598F173C03F4
SHA-256	A1FC7E5B826530981BF193321AE1A662BE658F308A929C9994204FC5337417E0

Key	Value
FileSize	20355600
MD5	E47B20C16ACF06BE3EE7207CF39BE3F1
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.9.1-2+b2
SHA-1	1F93539BDFD79358DC0EE7FEA0D810E952071720
SHA-256	62D6D469891037EEC216B3BC15DAF1032DE00687CE4C582D6F3768EB17956DE5