From 988a9b5b8affe5681191e2916caea312b316f98a Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Tue, 28 Jul 2026 07:22:08 +0000
Subject: [PATCH] Update cadical3 package pin

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

diff --git a/pkgs/default.nix b/pkgs/default.nix
index 8e24a73..8e4b2d7 100644
--- a/pkgs/default.nix
+++ b/pkgs/default.nix
@@ -513,11 +513,11 @@ let
       rev = "refs/tags/0.9.1";
       hash = "sha256-3uStLdDFhXVgqzremUPRbxPUcl0IqVg5MRLltgm8rCA=";
     });
-    cadical3 = pinnedOverride basePkgs.cadical "3.0.0" (githubSource {
+    cadical3 = pinnedOverride basePkgs.cadical "3.0.1" (githubSource {
       owner = "arminbiere";
       repo = "cadical";
-      rev = "rel-3.0.0";
-      hash = "sha256-pymbSC6bwQQ0YCtJd3xWZiC22UEkFiKSLObSOnoQj9I=";
+      rev = "rel-3.0.1";
+      hash = "sha256-oHebG9VBtEnxmBpfP6A/f/UNIx2AXbLPs0NHPoNlZfY=";
     });
     cryptominisat5 = (pinnedOverride basePkgs.cryptominisat "5.14.7" (githubSource {
       owner = "msoos";