Import Debian changes 20180207-1
[hcoop/debian/mlton.git] / debian / mlton-basis.install
1 usr/lib/mlton/include
2 usr/lib/mlton/sml