Update z3 version in ubuntu-noble docker image

runtimeverification · Jan 7, 2025 · 2b8d506 · 2b8d506
1 parent 3e3db2c
commit 2b8d506
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package/docker/Dockerfile.ubuntu-noble b/package/docker/Dockerfile.ubuntu-noble
@@ -1,4 +1,4 @@
-FROM runtimeverificationinc/z3:ubuntu-noble-4.13.0
+FROM runtimeverificationinc/z3:ubuntu-noble-4.13.4
 
 ENV TZ=America/Chicago
 RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone