X-Git-Url: https://git.hcoop.net/hcoop/debian/mlton.git/blobdiff_plain/7f918cf15a5aaed7f3029096fda625562ec5b82e..a441e504e8d82c19465abd4a01e9456a34057c86:/debian/mlton-runtime-mips-linux-gnu.install

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