From f24e7afcab33b5b219338fdd0eccece4c6c795bb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Dupressoir?= Date: Wed, 15 Apr 2026 16:03:19 +0100 Subject: [PATCH] [docker] provers: bump alt-ergo to 2.6.3 --- scripts/docker/Dockerfile.build | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/docker/Dockerfile.build b/scripts/docker/Dockerfile.build index 3966522d7..0a979ed2c 100644 --- a/scripts/docker/Dockerfile.build +++ b/scripts/docker/Dockerfile.build @@ -16,7 +16,7 @@ COPY --chmod=0755 --chown=1001:0 docker-parts/alt-ergo bin/run-alt-ergo ENV PATH="/home/charlie/bin:$PATH" RUN \ - version=2.6.2 && \ + version=2.6.3 && \ opam switch create --no-switch alt-ergo-${version} ocaml-system && \ opam pin --switch=alt-ergo-${version} add -n alt-ergo ${version} && \ opam install --switch=alt-ergo-${version} --deps-only --confirm-level=unsafe-yes alt-ergo && \