From 4929601fe98960014a7b8a9e6bb491432178e398 Mon Sep 17 00:00:00 2001
From: Mrmaxmeier <Mrmaxmeier@gmail.com>
Date: Sun, 14 Aug 2022 22:58:44 +0200
Subject: [PATCH] bitwuzla: unstable-2021-07-01 -> unstable-2022-08-07

---
 pkgs/applications/science/logic/bitwuzla/default.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/applications/science/logic/bitwuzla/default.nix b/pkgs/applications/science/logic/bitwuzla/default.nix
index a8820b55b746..82bfbd6dc3fe 100644
--- a/pkgs/applications/science/logic/bitwuzla/default.nix
+++ b/pkgs/applications/science/logic/bitwuzla/default.nix
@@ -19,13 +19,13 @@
 
 stdenv.mkDerivation rec {
   pname = "bitwuzla";
-  version = "unstable-2021-07-01";
+  version = "unstable-2022-08-07";
 
   src = fetchFromGitHub {
     owner = "bitwuzla";
     repo = "bitwuzla";
-    rev = "58d720598e359b1fdfec4a469c76f1d1f24db51a";
-    sha256 = "06ymqsdppyixb918161rmbgqvbnarj4nm4az88lkn3ri4gyimw04";
+    rev = "b6fb61736a5cf70cd0b35ec4aeeadf23971610ce";
+    hash = "sha256-T5VnnWrcZ8K1NjFf5eeg0TRpXBLRCxC67v8zWPwYF/Y=";
   };
 
   nativeBuildInputs = [ cmake pkg-config ];