From e45bf25d35e39f6ad0cb6c17df0f35ee72a78bfa Mon Sep 17 00:00:00 2001
From: Adam Bergmark <adam@bergmark.nl>
Date: Sat, 26 Aug 2017 16:28:05 +0200
Subject: [PATCH] Revert llvm version

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

diff --git a/debian-bootstrap.sh b/debian-bootstrap.sh
index 2c8d2c4f..3be72578 100755
--- a/debian-bootstrap.sh
+++ b/debian-bootstrap.sh
@@ -118,7 +118,7 @@ apt-get install -y \
     libyaml-dev \
     libzip-dev \
     libzmq3-dev \
-    llvm-3.9 \
+    llvm-3.7 \
     locales \
     m4 \
     minisat \