Import Debian changes 20180207-1

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

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