From 3ce189835eff3f9bb601a170b9aa00127d20bcbf Mon Sep 17 00:00:00 2001
From: Christoph Jabs <christoph.jabs@helsinki.fi>
Date: Wed, 10 Jun 2026 09:27:26 +0300
Subject: [PATCH] python3Package.python-sat: 1.9.dev2 -> 1.9.dev5

---
 pkgs/development/python-modules/python-sat/default.nix | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/python-modules/python-sat/default.nix b/pkgs/development/python-modules/python-sat/default.nix
index 094e040e707b..92a72f0f88ea 100644
--- a/pkgs/development/python-modules/python-sat/default.nix
+++ b/pkgs/development/python-modules/python-sat/default.nix
@@ -13,10 +13,14 @@ let
     url = "https://github.com/arminbiere/kissat/archive/refs/tags/rel-4.0.4.tar.gz";
     hash = "sha256-v+k+qmMjtIAR5LH890s/LiD53lRHZ+coAJ5bIBgpYZM=";
   };
+  minisatepsrc = fetchurl {
+    url = "https://github.com/hchenqide/minisat/archive/90305f7b9ab9c9c9c560238f16b47c26506d0750.zip";
+    hash = "sha256-eS5+wPrcZ00DRZMaJp4yZOZ1uz72Auin6FK6G2SId64=";
+  };
 in
 buildPythonPackage (finalAttrs: {
   pname = "python-sat";
-  version = "1.9.dev2";
+  version = "1.9.dev5";
   pyproject = true;
 
   build-system = [ setuptools ];
@@ -24,13 +28,14 @@ buildPythonPackage (finalAttrs: {
   src = fetchPypi {
     inherit (finalAttrs) version;
     pname = "python_sat";
-    hash = "sha256-JntHdC4xhDVt8uzZzMn7bmIkMFjrwlZWBs8z0E4WeeU=";
+    hash = "sha256-OxH2AQbusuv5aB/t85nrNOXAuyCfNFZRvMFMWFfmdhg=";
   };
 
   # The kissat source archive is not included in the repo and pysat attempts to
   # download it at build time. We therefore prefetch and link it.
   prePatch = ''
     ln -s ${kissat404src} solvers/kissat404.tar.gz
+    ln -s ${minisatepsrc} solvers/minisatep.zip
   '';
 
   preBuild = ''