Debian Package of MLton

Henry Cejtin
Mon, 20 Aug 2001 18:20:47 -0500

I think it would be great to have things set up for Debian, but I have no
experience with the Debian packaging system.  It sounded like Pealmutter was
interested in doing it.  If he could send us the scripts that required, that
would be great.  I would include that form on the web page along with rpms
and tgz files.  I'll send him mail.