I have made Red Hat 6.* RPMs of the latest almost-6-29 stuff. The source and binary RPMs are at http://sourcelight.com/Z/mlton-20010625-1.i386.rpm-redhat6 and http://sourcelight.com/Z/mlton-20010625-1.src.rpm-redhat6