From f66eb59c8070a6fb91ef92068771b68a945bf162 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Dupressoir?= <fdupress@gmail.com>
Date: Tue, 8 Sep 2026 07:08:44 +0100
Subject: [PATCH] [docker] bump alt-ergo 2.6.3 to 2.6.4

---
 scripts/docker/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/docker/Dockerfile b/scripts/docker/Dockerfile
index bafbb1235..0f6f915bb 100644
--- a/scripts/docker/Dockerfile
+++ b/scripts/docker/Dockerfile
@@ -53,7 +53,7 @@ ENV PATH="/home/charlie/bin:$PATH"
 FROM ${BASE_BUILD_LAYER} AS build
 
 RUN \
-	version=2.6.3 && \
+	version=2.6.4 && \
   wget -O alt-ergo https://github.com/OCamlPro/alt-ergo/releases/download/v${version}/alt-ergo-v${version}-x86_64-linux-musl && \
   sudo install -m 0755 alt-ergo /usr/local/bin/alt-ergo-${version} && \
   rm -f alt-ergo