From 2b45b9bde420a1a73e7dba9fe0a8b995861e4ad0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emilio=20L=C3=B3pez?= <emilio.lopez@trailofbits.com>
Date: Tue, 23 Sep 2025 22:11:45 -0300
Subject: [PATCH] btor2tools: 0-unstable-2024-08-07 -> 0-unstable-2025-09-18

Fixes build failure with cmake 4
---
 pkgs/by-name/bt/btor2tools/package.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/by-name/bt/btor2tools/package.nix b/pkgs/by-name/bt/btor2tools/package.nix
index e47800f7aa2c..50591eba7f09 100644
--- a/pkgs/by-name/bt/btor2tools/package.nix
+++ b/pkgs/by-name/bt/btor2tools/package.nix
@@ -8,13 +8,13 @@
 
 stdenv.mkDerivation {
   pname = "btor2tools";
-  version = "0-unstable-2024-08-07";
+  version = "0-unstable-2025-09-18";
 
   src = fetchFromGitHub {
     owner = "boolector";
     repo = "btor2tools";
-    rev = "44bcadbfede292ff4c4a4a8962cc18130de522fb";
-    sha256 = "0ncl4xwms8d656x95ga8v8zjybx4cmdl5hlcml7dpcgm3p8qj4ks";
+    rev = "d33c73ff1d173f1bfac8ba6b1c6d68ba62c55f8e";
+    sha256 = "sha256-RVjZ5HM2yQ3eAICFuzwvNeQDXzWzzSiCCslIWMJi6U8=";
   };
 
   nativeBuildInputs = [ cmake ] ++ lib.optional stdenv.hostPlatform.isDarwin fixDarwinDylibNames;