I made the Red Hat 6.* RPM's, but I was already home when I got your mail about the compiler being ready so I'll do the release tomorrow (technically today). I'll send you mail when it is up there, and then you can send an announcement out on MLton-discuss.