No results for search

"coq" versions published in Ubuntu

Noble (8.18.0+dfsg-1build2): universe/devel
Mantic (8.17.0+dfsg-1build1): 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