Import Debian changes 20180207-1

[hcoop/debian/mlton.git] / debian / mlton-basis.install

diff --git a/debian/mlton-basis.install b/debian/mlton-basis.install
new file mode 100644 (file)
index 0000000..74f162f
--- /dev/null
+++ b/debian/mlton-basis.install
@@ -0,0 +1,2 @@
+usr/lib/mlton/include
+usr/lib/mlton/sml