diff --git a/binaries/dune b/binaries/dune new file mode 100755 index 0000000..4d6908d Binary files /dev/null and b/binaries/dune differ diff --git a/binaries/dune-x86_64-unknown-linux-gnu.tar.gz b/binaries/dune-x86_64-unknown-linux-gnu.tar.gz index 0d640b4..076d667 100644 Binary files a/binaries/dune-x86_64-unknown-linux-gnu.tar.gz and b/binaries/dune-x86_64-unknown-linux-gnu.tar.gz differ