I've uploaded the current master to Debian's experimental suite, and so far everything looks good[0] from my perspective.
James [0] https://buildd.debian.org/status/package.php?p=polyml&suite=experimental > On 20 Nov 2017, at 13:23, David Matthews <david.matth...@prolingua.co.uk> > wrote: > > Thanks to everyone who sent in bug reports. We're almost ready to release > 5.7.1. I've updated Git master ( 44b7b88 ) with pre-built compilers for > 5.7.1. This is the last chance check it before the release which will > probably happen at the end of the week. > > David > > _______________________________________________ > polyml mailing list > polyml@inf.ed.ac.uk > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml