Dockerfile: use alt-ergo 2.5.2

formosa-crypto · Mar 14, 2024 · 81ae8ec · 81ae8ec
1 parent b036d93
commit 81ae8ec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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