@@ -48,7 +48,7 @@ apt-get install -y \
48 libblas-dev \
48 libblas-dev \
49 libbz2-dev \
49 libbz2-dev \
50 libcairo2-dev \
50 libcairo2-dev \
51− libclang-3.7-dev \
51+ libclang-3.9-dev \
52 libcurl4-openssl-dev \
52 libcurl4-openssl-dev \
53 libdevil-dev \
53 libdevil-dev \
54 libedit-dev \
54 libedit-dev \
@@ -117,7 +117,7 @@ apt-get install -y \
117 libyaml-dev \
117 libyaml-dev \
118 libzip-dev \
118 libzip-dev \
119 libzmq3-dev \
119 libzmq3-dev \
120− llvm-3.7 \
120+ llvm-3.9 \
121 locales \
121 locales \
123 minisat \
123 minisat \