Ubuntu
matita package

1 → 1 of 1 result First • Previous • Next • Last
High
Confirmed
#945362 matita version 0.5.8-3build1 failed to build on armhf
matita (Ubuntu) 6
1 → 1 of 1 result First • Previous • Next • Last

"matita" versions published in Ubuntu

Trusty (0.99.1-3): universe/math