Package: ml-lpt

"ml-lpt" package binaries on Debian:

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

You may install this package on Debian with apt-get install ml-lpt