12 of 2 results
Undecided
New
coq (Ubuntu) 6
12 of 2 results

"coq" versions published in Ubuntu

Eoan-proposed (8.9.0-1): universe/devel
Eoan (8.6-5build1): universe/devel
Disco (8.6-5build1): universe/devel
Cosmic (8.6-5build1): universe/devel
Bionic (8.6-5build1): universe/devel
Xenial (8.4pl4dfsg-3build2): universe/devel
Trusty (8.4pl3dfsg-1): universe/devel
Precise (8.3.pl4+dfsg-1): universe/devel