Import Debian changes 20180207-1

[hcoop/debian/mlton.git] / debian / mlton-runtime-i486-kfreebsd-gnu.install

diff --git a/debian/mlton-runtime-i486-kfreebsd-gnu.install b/debian/mlton-runtime-i486-kfreebsd-gnu.install
new file mode 100644 (file)
index 0000000..58568da
--- /dev/null
+++ b/debian/mlton-runtime-i486-kfreebsd-gnu.install
@@ -0,0 +1 @@
+usr/lib/mlton/targets/i*86-kfreebsd-gnu/*