Bug#998156: contains non-DFSG-free files

[Florian Weimer]

* Henry Cejtin:

> (I assume you meant ml-nlffigen.)  ml-nlffigen is part of SML/NJ, not
> part of MLton.

/usr/bin/mlnlffigen is part of mlton-tools.

I believe the code generation requirements are different for MLton and
SML/NJ.