I just finished makeing binary and source RPMs of the 2001-08-23 version for Red Hat 6.* machines. You can grab them at: http://sourcelight.com/MLton/EXPERIMENTAL/mlton-20010823-1.rhat6x.i386.rpm http://sourcelight.com/MLton/EXPERIMENTAL/mlton-20010823-1.rhat6x.src.rpm If you have any problem, please mail me.