> Should I just make the Red Hat 7 RPMs myself using make-rpms? If not then > please send them to me so that I can make the Red Hat 6 ones. > (I've never run the make-rpms script.) You can either make them yourself (I'll be interested to see how make-rpms works for you) or use the stuff in http://www.star-lab.com/sweeks/mlton-home.tgz which I just made, and contains the new release as far as I'm concerned.