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 \