11 of 1 result
High
Triaged
open-axiom (Ubuntu) 6
11 of 1 result

"open-axiom" versions published in Ubuntu

Xenial (1.5.0~svn3056+ds-1): universe/math
Trusty (1.4.1+svn~2626-2ubuntu2): universe/math
Precise (1.4.1+svn~2299+ds-1ubuntu1): universe/math