11 of 1 result
Undecided
New
alt-ergo (Ubuntu) 6
11 of 1 result

"alt-ergo" versions published in Ubuntu

Eoan-proposed (2.0.0-3): universe/math
Eoan (1.30+dfsg1-2): universe/math
Disco (1.30+dfsg1-2): universe/math
Cosmic (1.30+dfsg1-1): universe/math
Bionic (1.30+dfsg1-1): universe/math
Xenial (0.99.1+dfsg1-4build3): universe/math
Trusty (0.95.2-1build1): universe/math
Precise (0.94-1): universe/math