Ok, thank you all for the replies ;-) 2017-07-05 15:27 GMT-03:00 Makarius <[email protected]>:
> 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
