[MLton] Debian package of 20051202 MLton for stable

Henry Cejtin henry.cejtin@sbcglobal.net
Thu, 08 Dec 2005 17:24:59 -0600

I made a Debian binary package of the 20051202 version of MLton that can be
installed on Stable.  (The one in the download section won't work because
it is linked against newer versions of libc6 and libgmp.)  It should go in
the Download section.