diff --git a/deps/z3 b/deps/z3
index 813b83b653..32d3e23b48 100644
--- a/deps/z3
+++ b/deps/z3
@@ -1 +1 @@
-4.13.0
+4.13.4
diff --git a/package/docker/Dockerfile.ubuntu-noble b/package/docker/Dockerfile.ubuntu-noble
index acd3882b7d..e2232744d3 100644
--- 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