I don't think that Stephen mail'd you, but we just put out a new version of MLton over the weekend. I still haven't had time to see what is done for Debian packaging, but if you are still interested, could you merge the stuff into their world? thanks P.S., I realized that I also still haven't done the GMP 3.* stuff either. Sorry about that.