bitwuzla: 0.8.1 -> 0.8.2 (#431275)

2025-08-06 15:02:37 -04:00
parent 4cd05305ce cbd7897c8e
commit da95736ec4
1 changed files with 2 additions and 2 deletions
@@ -21,13 +21,13 @@

 stdenv.mkDerivation (finalAttrs: {
  pname = "bitwuzla";
-  version = "0.8.1";
+  version = "0.8.2";

  src = fetchFromGitHub {
    owner = "bitwuzla";
    repo = "bitwuzla";
    rev = finalAttrs.version;
-    hash = "sha256-4Gf06aZ3iBEu0bNZAGgWCXVgKA0ew37Zf6XArnlVAXw=";
+    hash = "sha256-v5r+BWXUUbKtkos6qmGMC9MMytS/h759SHY6lsTHU1k=";
  };

  strictDeps = true;