Debian Package of MLton

[Henry Cejtin]

I thought his mail was pretty clear: he want's to bundle up MLton for the
next Debian release.  Needless to say, this would be excellent (since it would
be a Linux distribution that would come with MLton).  A separate issue, as
you noted, is that having the Debian package made by us (regardless of
wether it gets distributed in a Debian release) would be good since that way
the MLton web page could always include .tgz, .rpm and .apt (or what ever
Debian calls their packages).  I'll send mail back to Pearlmutter to see if
he can tell me what needs to be done to make the package so that it can be
part of the make-rpm script.