/usr/lib/smlnj/bin/.arch-n-opsys
/usr/lib/smlnj/bin/.link-sml
/usr/lib/smlnj/bin/.run/run.x86-linux.a
/usr/lib/smlnj/bin/.run/run.x86-linux
/usr/lib/smlnj/bin/.run/run.x86-linux.so
/usr/lib/smlnj/bin/.run-sml
You may install this package on Debian with
apt-get
install smlnj-runtime