Import Debian changes 20180207-1

[hcoop/debian/mlton.git] / debian / mlton-runtime-x86-64-linux-gnu.install

diff --git a/debian/mlton-runtime-x86-64-linux-gnu.install b/debian/mlton-runtime-x86-64-linux-gnu.install
new file mode 100644 (file)
index 0000000..ec65286
--- /dev/null
+++ b/debian/mlton-runtime-x86-64-linux-gnu.install
@@ -0,0 +1 @@
+usr/lib/mlton/targets/x86_64-linux-gnu/*