Bug#561763: RFS: polyml 5.3 (new upstream version)

[Achim D. Brucker]

Dear all,
I am looking for a sponsor for the new upstream version of polyml (an
interpreter and interactive compiler for the Standard ML programming
language). I have updated the git repository at

git://git.debian.org/debian-science/packages/polyml.git

to the new upstream release (for distribution "UNRELEASED").

For testing purposes and further inspection,  there are pre-build
packages for amd64 available at:

http://projects.brucker.ch/polyml/


Any tips for improving the packages are welcome and, moreover, I would
be very glad if someone could upload this package for me (which would
close Bug #561763).

Best wishes,
     Achim