20 Nov
2017
20 Nov
'17
10:52 p.m.
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.Matthews at 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 at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml