Revert llvm version

This commit is contained in:
Adam Bergmark 2017-08-26 16:28:05 +02:00
parent c74f22d3c3
commit e45bf25d35

View File

@ -118,7 +118,7 @@ apt-get install -y \
libyaml-dev \ libyaml-dev \
libzip-dev \ libzip-dev \
libzmq3-dev \ libzmq3-dev \
llvm-3.9 \ llvm-3.7 \
locales \ locales \
m4 \ m4 \
minisat \ minisat \