diff --git a/docker/02-apt-get-install.sh b/docker/02-apt-get-install.sh index eb2602d5..2ac676a3 100755 --- a/docker/02-apt-get-install.sh +++ b/docker/02-apt-get-install.sh @@ -123,9 +123,9 @@ apt-get install -y \ libzip-dev \ libzmq3-dev \ libzstd-dev \ - llvm-7 \ - llvm-8 \ - llvm-9 \ + llvm-11 \ + llvm-12 \ + llvm-13 \ locales \ m4 \ minisat \