13 of 3 results
Undecided
New
coq (Ubuntu) 6
Undecided
New
13 of 3 results

"coq" versions published in Ubuntu

Impish (8.12.0-3build3): universe/devel
Hirsute (8.12.0-3build3): 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