From 7527991a12cc691d4c68064ce981e5dbba07d1c2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Dupressoir?= <fdupress@gmail.com>
Date: Fri, 30 Oct 2026 08:48:44 +0000
Subject: [PATCH] [docker] bump z3 5.3.2 to 5.3.3

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

diff --git a/scripts/docker/Dockerfile b/scripts/docker/Dockerfile
index b39a49ae2..62ec85658 100644
--- a/scripts/docker/Dockerfile
+++ b/scripts/docker/Dockerfile
@@ -105,7 +105,7 @@ RUN \
 	rm -f cvc5
 
 RUN \
-	version=5.3.2 && glibc=2.39 && \
+	version=5.3.3 && glibc=2.39 && \
 	wget -O z3.zip https://github.com/Z3Prover/z3/releases/download/z3-${version}/z3-${version}-x64-glibc-${glibc}.zip && \
 	unzip -j z3.zip z3-${version}-x64-glibc-${glibc}/bin/z3 && \
 	sudo install -m 0755 z3 /usr/local/bin/z3-${version} && \