diff --git a/scripts/docker/Dockerfile b/scripts/docker/Dockerfile
index fe878a1d..bfe636f5 100644
--- a/scripts/docker/Dockerfile
+++ b/scripts/docker/Dockerfile
@@ -28,7 +28,7 @@ RUN curl -L https://nixos.org/nix/install > nix-install && \
     rm nix-install
 
 ENV OPAMYES=true OPAMJOBS=8
-ENV ALTERGO=2.4.2 Z3=4.8.14
+ENV ALTERGO=2.5.2 Z3=4.8.14
 
 RUN opam init --disable-sandboxing && \
     opam install depext