Log in / Register
Ubuntu
coq package
Overview
Code
Bugs
Blueprints
Translations
Answers
Advanced search
No results for search
Report a bug
Ask a question
New bugs
Open bugs
In-progress bugs
Critical bugs
High importance bugs
Bugs fixed elsewhere
Bugs with patches
Open CVE bugs
"coq" versions published in Ubuntu
Plucky
(
8.19.1+dfsg-3build3
): universe/devel
Oracular
(
8.19.1+dfsg-3build3
): universe/devel
Noble
(
8.18.0+dfsg-1build2
): universe/devel
Jammy
(
8.15.0+dfsg-2
): universe/devel
Focal
(
8.11.0-1
): universe/devel
Bionic
(
8.6-5build1
): universe/devel
Xenial
(
8.4pl4dfsg-3build2
): universe/devel
Trusty
(
8.4pl3dfsg-1
): universe/devel
Show more tags…
Show fewer tags…