There are currently no open bugs.

"alt-ergo" versions published in Ubuntu

Groovy (2.0.0-6): universe/math
Focal (2.0.0-5build1): universe/math
Eoan (2.0.0-4): 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