[polyml] Poly/ML package in Debian and Ubuntu

[David Matthews]

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.

David
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml