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	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	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	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	5685396
MD5	CE47FFA68A7E1C5415168AD35E545DC6
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	2DE583BEC8E4174F4A0D661E2B241560DEF09FF8
SHA-256	18CCA449FAE73958B50DB882BB9809C95B50913F6401C519E0E342B2B9A0EDAD

Key	Value
FileSize	3806504
MD5	D6F28FC9241665C8DBA0BC6E5B28B4D2
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	344034B6EA76915EC7F9FB2E6586BD40C96C0E4A
SHA-256	0458C049154E33E02D5B3588FC4ABC5188736FDC936C714BB2FF8D7AF9A16E96

Key	Value
FileSize	30160688
MD5	79DC8D395764A53E2E7174E9C489FF36
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	43303483F79D49CF7F7D85E6FB9303456872A65E
SHA-256	F1045BBC4C4B0D445165256DBBB3B73A5398813ED92DA2715B7FD1046A55D2BD

Key	Value
FileSize	2209780
MD5	0C2C7B473ACFDB85E2D7E3BCF873249C
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	4BBBC59092DD30C228B3163E41E78EA8BCB720E6
SHA-256	739EA530675B7E2B494B5C8B24CEAC1E0D01D87B128DB9CAFBFF6DE811272D22

Key	Value
FileSize	20336724
MD5	D228FE28FB841FBBE39047D9728EEEBA
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	4E325907CD20998191280D77FE03740F1586AFE3
SHA-256	FDBE5543314A038F05284C0100385E68B92446E1814BC748F33411E35F9CDF34