debian/mlton-tools.install

   1 usr/bin/mllex
   2 usr/bin/mlyacc
   3 usr/bin/mlprof
   4 usr/bin/mlnlffigen
   5 usr/share/man/man1/mllex.1.gz
   6 usr/share/man/man1/mlyacc.1.gz
   7 usr/share/man/man1/mlprof.1.gz
   8 usr/share/man/man1/mlnlffigen.1.gz
   9 usr/share/doc/mlton/mllex.pdf
  10 usr/share/doc/mlton/mlyacc.pdf