6 Jul
2017
6 Jul
'17
6:17 p.m.
Ok, thank you all for the replies ;-)
2017-07-05 15:27 GMT-03:00 Makarius <makarius at sketis.net>:
On 05/07/17 18:57, Ron? Gon?alves wrote:
In Fedora 25 I am stuck with Poly/ML 5.6 as well as in Ubuntu 16.04. Fortunately, in Fedora 26, there will be Poly/ML 5.7
It is actually quite easy to compile Poly/ML from sources.
I do this routinely for anything that is sufficiently important for me and not one of the big standard packages that are used by millions of users and properly maintained.
Makarius