Binary: ml-ulex.x86-linux

Debian packages that has this binary:

Package: ml-lpt

/usr/lib/smlnj/bin/.heap/ml-ulex.x86-linux