Red Hat 6 RPMs

[Henry Cejtin]

I put copies of the Red Hat 6 RPMs, source and binary on the web site in case
you need them.  I tested them out by installing them on my  laptop  and  they
seem to work fine.

    http://sourcelight.com/MLton/Z/mlton-20010620-1.i386.rpm-redhat6
    http://sourcelight.com/MLton/Z/mlton-20010620-1.src.rpm-redhat6