coq source package in Xenial
coq: No summary available for coq in ubuntu vivid.
coq-theories: No summary available for coq-theories in ubuntu utopic.
coqide: No summary available for coqide in ubuntu utopic.
libcoq-ocaml: No summary available for libcoq-ocaml in ubuntu utopic.
libcoq-ocaml-dev: development libraries and tools for Coq
Versions published
- Release
-
The package versions that were published when the distribution release was made.
- coq 8.4pl4dfsg-3build2 (universe)
coq information
- Current version:
- 8.4pl4dfsg-3build2
- 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) (powerpc) (ppc64el) (s390x)
- coq-dbgsym (amd64) (arm64) (armhf) (i386)
- coq-theories (amd64) (arm64) (armhf) (i386) (powerpc) (ppc64el) (s390x)
- coqide (amd64) (arm64) (armhf) (i386) (powerpc) (ppc64el) (s390x)
- coqide-dbgsym (amd64) (arm64) (armhf) (i386) (powerpc)
- libcoq-ocaml (amd64) (arm64) (armhf) (i386) (powerpc) (ppc64el) (s390x)
- libcoq-ocaml-dev (amd64) (arm64) (armhf) (i386) (powerpc) (ppc64el) (s390x)
- libcoq-ocaml-dev-dbgsym (amd64) (arm64) (armhf) (i386)
Download files from current release (8.4pl4dfsg-3build2)
File | Size | SHA-256 Checksum |
---|---|---|
coq_8.4pl4dfsg.orig.tar.gz | 3.4 MiB | ebb0561b7aa9a7b87299689a9a564cb5fc5348fdf3997acdc42d76ce2a048450 |
coq_8.4pl4dfsg-3build2.debian.tar.xz | 15.8 KiB | 8982a706d3d52060fd3341ebe5db6a2593bc477a25645e21271439cf17fde66e |
coq_8.4pl4dfsg-3build2.dsc | 2.3 KiB | c2ffa904ad907c56765e0afd30af2dc51d93472c19a30ecbe5dc20afb87481de |
Package relationships
Build dependencies |
Platform-independent build dependencies |
Platform-dependent build dependencies |
Build conflicts |
Platform-independent build dependencies |
Platform-dependent build dependencies |