RFS: polyml 5.3 (new upstream version, Closes #561763)

[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