pkgs.loginroot.com
Home
Packages
Binaries
Package: mlton-tools
"
mlton-tools
" package binaries on
Debian
:
/usr/bin/mllex
/usr/bin/mlnlffigen
/usr/bin/mlprof
/usr/bin/mlyacc
You may install this package on Debian with
apt-get install mlton-tools