[MLton] Debian package of 20051202 MLton for stable

[Stephen Weeks]

> 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.

Sounds good.  You have write permission on that page, so please go
ahead and add it.  I'd put it on the same line as the Debian sid
package.