new version of MLton

Henry Cejtin henry@sourcelight.com
Mon, 8 Oct 2001 19:19:28 -0500


I  don't  think that Stephen mail'd you, but we just put out a new version of
MLton over the weekend.  I still haven't had time to see  what  is  done  for
Debian  packaging, but if you are still interested, could you merge the stuff
into their world?

thanks

P.S., I realized that I also still haven't done the  GMP  3.*  stuff  either.
Sorry about that.