Update dependency: deps/z3 (#4720)

Co-authored-by: devops <[email protected]> Co-authored-by: palinatolmach <[email protected]>
runtimeverification · Jan 7, 2025 · 06ffc88 · 06ffc88
1 parent 141fe58
commit 06ffc88
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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