on master help sign in
Revert llvm version
e45bf25Adam Bergmark
debian-bootstrap.sh+1−1
@@ -118,7 +118,7 @@ apt-get install -y \
118 libyaml-dev \
118 libyaml-dev \
119 libzip-dev \
119 libzip-dev \
120 libzmq3-dev \
120 libzmq3-dev \
121− llvm-3.9 \
121+ llvm-3.7 \
122 locales \
122 locales \
123 m4 \
123 m4 \
124 minisat \
124 minisat \