5 Jul
2017
5 Jul
'17
7:27 p.m.
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