bitwuzla: 0.9.0 -> 0.9.1

2026-05-30 16:57:08 +00:00
parent 0d37563c0e
commit 70b00421a8
1 changed files with 2 additions and 2 deletions
@@ -23,13 +23,13 @@

 stdenv.mkDerivation (finalAttrs: {
  pname = "bitwuzla";
-  version = "0.9.0";
+  version = "0.9.1";

  src = fetchFromGitHub {
    owner = "bitwuzla";
    repo = "bitwuzla";
    tag = finalAttrs.version;
-    hash = "sha256-3ThDKoXzCqDtiX3JXshqRtwri8V7lOFxmr+4IqQbUAQ=";
+    hash = "sha256-3uStLdDFhXVgqzremUPRbxPUcl0IqVg5MRLltgm8rCA=";
  };

  strictDeps = true;