diff --git a/debian-bootstrap.sh b/debian-bootstrap.sh
index db413754..116cb76b 100755
--- a/debian-bootstrap.sh
+++ b/debian-bootstrap.sh
@@ -34,6 +34,7 @@ apt-get install -y \
     sudo \
     curl \
     freeglut3-dev \
+    fsharp \
     git \
     gradle \
     libadns1-dev \