Ubuntu

Bugs : matita in Ubuntu

11 of 1 result
High
Confirmed
11 of 1 result

"matita" versions published in Ubuntu

Trusty (0.99.1-3): universe/math
Saucy (0.99.1-1): universe/math
Quantal (0.99.1-1): universe/math
Precise (0.5.8-3build1): universe/math
Lucid (0.5.8-2build2): universe/math