From c3da5d561308cf1ed9840e656da4666f8868435c Mon Sep 17 00:00:00 2001
From: Nicky Mouha <nmouha@users.noreply.github.com>
Date: Wed, 26 Nov 2025 17:02:03 -0500
Subject: [PATCH] bitwuzla: fix by using CaDiCaL 2.1.3

bitwuzla: fix by using CaDiCaL 2.1.3
(cherry picked from commit 709333cd2e4245c6ed2c46b06bf03317eaab4cd1)
---
 pkgs/top-level/all-packages.nix | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index ff48690063c9..a7304554adee 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -13545,6 +13545,10 @@ with pkgs;
     ocamlPackages = ocaml-ng.ocamlPackages_4_12;
   };
 
+  bitwuzla = callPackage ../by-name/bi/bitwuzla/package.nix {
+    cadical = cadical.override { version = "2.1.3"; };
+  };
+
   inherit
     (callPackage ./rocq-packages.nix {
       inherit (ocaml-ng)