diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ac3a77eafa..5de2986850 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -21,10 +21,10 @@ prepare-cache:llvm:
   script:
     - if [ -d $INSTALL_DIR ]; then exit 0; fi
     - apt-get update && apt-get install -y gcc git cmake wget unzip g++ python libxml2-dev
-    - wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.4/z3-4.8.4.d6df51951f4c-x64-debian-8.11.zip
-    - unzip z3-4.8.4.d6df51951f4c-x64-debian-8.11.zip
+    - wget https://github.com/Z3Prover/z3/releases/download/Z3-4.8.5/z3-4.8.5-x64-debian-8.11.zip
+    - unzip z3-4.8.5-x64-debian-8.11.zip
     - mkdir $INSTALL_DIR
-    - mv z3-4.8.4.d6df51951f4c-x64-debian-8.11/bin z3-4.8.4.d6df51951f4c-x64-debian-8.11/include $INSTALL_DIR
+    - mv z3-4.8.5-x64-debian-8.11/bin z3-4.8.5-x64-debian-8.11/include $INSTALL_DIR
     - export PATH=$INSTALL_DIR/bin:$PATH
     - git clone -b release/8.x https://github.com/llvm/llvm-project.git
     - cd llvm-project