> 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 Look fine to me.