Ubuntu
coq package

1 → 3 of 3 results First • Previous • Next • Last
High
Triaged
#1714001 coq 8.6-4build3 is FTBFS in Artful, blocking menhir and why3 from migrating
coq (Ubuntu) 6
Undecided
New
#1349422 The "coq" package depends on X11
coq (Ubuntu) 6
Undecided
New
#1928521 coqide package should require adwaita-icon-theme-full
coq (Ubuntu) 6
1 → 3 of 3 results First • Previous • Next • Last

"coq" versions published in Ubuntu

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