coq source package in Bionic
coq: proof assistant for higher-order logic (toplevel and compiler)
coq-dbgsym: No summary available for coq-dbgsym in ubuntu artful.
coq-theories: proof assistant for higher-order logic (theories)
coq-theories-
coqide: No summary available for coqide in ubuntu artful.
coqide-dbgsym: debug symbols for coqide
libcoq-ocaml: runtime libraries for Coq
libcoq-
libcoq-ocaml-dev: No summary available for libcoq-ocaml-dev in ubuntu artful.
libcoq-
Versions published
- Release
-
The package versions that were published when the distribution release was made.
- coq 8.6-5build1 (universe)
coq information
- Current version:
- 8.6-5build1
- Uploaded:
- Urgency:
- Medium Urgency
Upstream connections
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- Bug supervisor:
- Bug tracker:
- Branch:
There are no registered releases for the Coq ⇒ trunk.
Releases in Ubuntu
Binary packages
- coq (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
- coq-dbgsym (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
- coq-theories (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
- coq-theories-dbgsym (amd64) (i386)
- coqide (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
- coqide-dbgsym (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
- libcoq-ocaml (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
- libcoq-ocaml-dbgsym (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
- libcoq-ocaml-dev (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
- libcoq-ocaml-dev-dbgsym (amd64) (arm64) (armhf) (i386) (ppc64el) (s390x)
Download files from current release (8.6-5build1)
File | Size | SHA-256 Checksum |
---|---|---|
coq_8.6.orig.tar.gz | 4.8 MiB | 0626a5aff5c09fce899f06fb177bf55dc7b7d2bf3cd063587aa83f37bbd2364b |
coq_8.6-5build1.debian.tar.xz | 21.4 KiB | 70e1cffd54deb41b7ad3e6fd0685c7f1078ba78cdd1f84e8a6225fbc349de9d3 |
coq_8.6-5build1.dsc | 2.3 KiB | fe7076b2359197baa72d2016261ae52b2691cf553eeda8ba6b267f180625e3c8 |
Package relationships
Build dependencies |
Platform-independent build dependencies |
Platform-dependent build dependencies |
Build conflicts |
Platform-independent build dependencies |
Platform-dependent build dependencies |