On 17/01/2022 22:09, Jessica Clarke wrote:
On 17 Jan 2022, at 21:54, David Matthews <[email protected]> wrote:
Does anyone know anything about the polyml package in Debian and Ubuntu? It
seems that the currently packaged version is still 5.7.1. I've seen a couple
of bug reports that have turned out to be issues that have long since been
fixed. I'm quite happy to have Poly/ML packaged for distributions but if they
get out of date then they become a problem.
I’m the maintainer of the package; I uploaded 5.8.1 a while back to
experimental but it failed on a few architectures[1] and I never had the time
to dig into the issues, or see if they’ve since been fixed in 5.8.2 or 5.9. It
also coincided with having a temporary laptop that wasn’t sufficiently powerful
to have a meaningful Debian VM installed, but as of a couple of weeks ago
that’s changed and I have a Debian VM again (getting back to polyml was one of
the things that was on my mind when setting it up). I don’t know when I’ll have
a chance to look at updating the package though, my PhD work is keeping me
pretty busy, but hopefully an evening or weekend relatively soon.
Jess,
Thanks for the quick reply. It would be good to get this up to date if
possible. The issues seem to be mainly with 32-bit architectures that
use the interpreted version and I think there were some fixes with that.
Since 5.9 the interpreter is used during bootstrap on all systems so
it gets much more testing than it used to.
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
