Ubuntu
open-axiom package

1 → 1 of 1 result First • Previous • Next • Last
High
Triaged
#1508771 open-axiom: ftbfs with GCC-5
open-axiom (Ubuntu) 6
1 → 1 of 1 result First • Previous • Next • Last

"open-axiom" versions published in Ubuntu

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