> I can't make either of these rpms work---the binary one needs > libraries I don't have, and the source one fails mysteriously. Are you able to use mlton-20010806 or 20010706? I am curious to know if/when we broke something in our build process.