bump z3 to v4.13.4

runtimeverification · Dec 26, 2024 · 13c079e · 13c079e
1 parent 3021727
commit 13c079e
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -5,7 +5,7 @@
     nixpkgs.follows = "rv-utils/nixpkgs";
     stacklock2nix.url = "github:cdepillabout/stacklock2nix";
     z3 = {
-      url = "github:Z3Prover/z3/z3-4.13.0";
+      url = "github:Z3Prover/z3/z3-4.13.4";
       flake = false;
     };
   };