MLton with your fixes

Norman Ramsey
Fri, 24 Aug 2001 18:27:24 -0400

That explains it.  I am running Red Hat 6 (I think 6.2).
Letting my sysadmins install Red Hat was one of my bigger mistakes,
and I have refused to allow them to `upgrade' my machine :-(

Let's try a binary rpm for RH 6?