From 551980c23fe041bf401156449d269ab00c27808d Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Mon, 1 May 2017 18:04:49 +0900
Subject: [PATCH] debian-bootstrap.sh: clr-inline testsuite needs fsharp

---
 debian-bootstrap.sh | 1 +
 1 file changed, 1 insertion(+)

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 \