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
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
