coq source package in Focal
coq: No summary available for coq in ubuntu eoan.
coq-dbgsym: No summary available for coq-dbgsym in ubuntu eoan.
coq-theories: proof assistant for higher-order logic (theories)
coq-theories-
libcoq-ocaml: No summary available for libcoq-ocaml in ubuntu eoan.
libcoq-
libcoq-ocaml-dev: No summary available for libcoq-ocaml-dev in ubuntu eoan.
Versions published
- Release
-
The package versions that were published when the distribution release was made.
- coq 8.11.0-1 (universe)
coq information
- Current version:
- 8.11.0-1
- 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) (ppc64el)
- coq-dbgsym (amd64) (arm64) (ppc64el)
- coq-theories (amd64) (arm64) (ppc64el)
- coq-theories-dbgsym (amd64)
- coqide (amd64) (arm64) (ppc64el)
- coqide-dbgsym (amd64) (arm64) (ppc64el)
- libcoq-ocaml (amd64) (arm64) (ppc64el)
- libcoq-ocaml-dbgsym (amd64) (arm64) (ppc64el)
- libcoq-ocaml-dev (amd64) (arm64) (ppc64el)
Download files from current release (8.11.0-1)
File | Size | SHA-256 Checksum |
---|---|---|
coq_8.11.0-1.dsc | 2.4 KiB | 3bae766caf927d8865d2a1fe94708f1498bb3af075a7f89a2c73fe45eebefbf6 |
coq_8.11.0.orig.tar.gz | 5.6 MiB | 578344b3f01c89af65b9f9902c4a07df8faa2b8f8ec080a53bd3f7848a91bfd9 |
coq_8.11.0-1.debian.tar.xz | 30.9 KiB | 8ac88e9f07ee7cb9c268457daf2a07f7f8276d3c71ac4449c13fdbbae611e961 |
Package relationships
Build dependencies |
Platform-independent build dependencies |
Platform-dependent build dependencies |
Build conflicts |
Platform-independent build dependencies |
Platform-dependent build dependencies |