coq package in Ubuntu
coq: proof assistant for higher-order logic (toplevel and compiler)
coq-dbgsym: debug symbols for coq
coqide: proof assistant for higher-order logic (gtk interface)
coqide-dbgsym: debug symbols for coqide
libcoq-core-ocaml: runtime libraries for Coq
libcoq-
libcoq-
libcoq-stdlib: proof assistant for higher-order logic (theories)
This package has 2 new bugs and 0 open questions.
Package information
- Maintainer:
- Debian OCaml Maintainers
- Urgency:*
- Medium Urgency
- Architectures:*
- any
- Latest upload:
- 8.20.0+dfsg-1
*actual publishing details may vary in this distribution, these are just the package defaults.
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.
| The Plucky Puffin (active development) | ||
|
|
release (universe) | |
| The Oracular Oriole (current stable release) | ||
|
|
release (universe) | |
| The Noble Numbat (supported) | ||
|
|
release (universe) | |
| The Jammy Jellyfish (supported) | ||
|
|
release (universe) | |
| The Focal Fossa (supported) | ||
|
|
release (universe) | |
| The Bionic Beaver (supported) | ||
|
|
release (universe) | |
| The Xenial Xerus (supported) | ||
|
|
release (universe) | |
| The Trusty Tahr (supported) | ||
|
|
release (universe) | |
The following unsupported and untrusted Personal Archives (PPAs) provide packages of 'coq':
-
Coq backports owned by Jason Gross
- Versions: Trusty (8.5-2build1~ubuntu14.04.1~ppa1), Precise (8.5-2build1~ubuntu12.04.1~ppa1)
-
- Versions: Yakkety (8.6~git~201611171804+18067-0~daily286~ubuntu16.10.1), Trusty (8.6~git~201611171805+18067-0~daily286~ubuntu14.04.1), Vivid (8.6~git~201611171805+18067-0~daily286~ubuntu15.04.1), Zesty (8.6~git~201611171805+18067-0~daily286~ubuntu17.04.1), Wily (8.6~git~201611171805+18067-0~daily286~ubuntu15.10.1), Xenial (8.6~git~201611171805+18067-0~daily286~ubuntu16.04.1), Precise (8.6~git~201611171807+18067-0~daily285~ubuntu12.04.1)
-
- Versions: Wily (8.5~git~201612092040+18513-0~daily288~ubuntu15.10.1), Vivid (8.5~git~201704292102+18537-0~daily289~ubuntu15.04.1), Yakkety (8.5~git~201704292101+18537-0~daily289~ubuntu16.10.1), Zesty (8.5~git~201712280134+18542-0~daily289~ubuntu17.04.1), Artful (8.5~git~201802211618+18546-0~daily289~ubuntu17.10.1), Cosmic (8.5~git~201806011657+18546-0~daily289~ubuntu18.10.1), Disco (8.5~git~201901221909+18546-0~daily289~ubuntu19.04.1), Eoan (8.5~git~201908060405+18546-0~daily289-df8c706~ubuntu19.10.1), Precise (8.5~git~202102031427+18546-0~daily290-df8c706c2f~ubuntu12.04.1), Hirsute (8.5~git~202102031603+18546-0~daily291-df8c706c2f~ubuntu21.04.1), Groovy (8.5~git~202102031604+18546-0~daily291-df8c706c2f~ubuntu20.10.1), Impish (8.5~git~202207012321+18547-0~daily291-017b3b3c09~ubuntu21.10.1), Trusty (8.5~git~202304171717+18548-0~daily290-59ed6a7508~ubuntu14.04.1), Xenial (8.5~git~202304171717+18548-0~daily290-59ed6a7508~ubuntu16.04.1), Bionic (8.5~git~202304171717+18548-0~daily290-59ed6a7508~ubuntu18.04.1), Jammy (8.5~git~202304171717+18548-0~daily291-59ed6a7508~ubuntu22.04.1), Kinetic (8.5~git~202304171717+18548-0~daily291-59ed6a7508~ubuntu22.10.1), Focal (8.5~git~202304171717+18548-0~daily290-59ed6a7508~ubuntu20.04.1), Lunar (8.5~git~202304171717+18548-0~daily291-59ed6a7508~ubuntu23.04.1)
You can also search for other untrusted versions of 'coq'.
