> Would y'all like me to package MLton for Debian and toss it into the > next release? Oh great and powerful linux god (i.e. Henry), any idea how to or interest in doing this?