Package: smlnj-runtime

"smlnj-runtime" package binaries on Debian:

/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