z3: 4.15.2 -> 4.15.3

2025-08-16 12:44:50 +00:00
parent a34f89140e
commit 2e2dd78d5d
1 changed files with 2 additions and 2 deletions
@@ -29,13 +29,13 @@ assert

 stdenv.mkDerivation (finalAttrs: {
  pname = "z3";
-  version = "4.15.2";
+  version = "4.15.3";

  src = fetchFromGitHub {
    owner = "Z3Prover";
    repo = "z3";
    rev = "z3-${finalAttrs.version}";
-    hash = "sha256-hUGZdr0VPxZ0mEUpcck1AC0MpyZMjiMw/kK8WX7t0xU=";
+    hash = "sha256-Lw037Z0t0ySxkgMXkbjNW5CB4QQLRrrSEBsLJqiomZ4=";
  };

  patches = lib.optionals useCmakeBuild [