From a8fd45f2d8679dca15aca22405caa6b16e2df24f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20L=C3=A4ndle?=
 <969523+alaendle@users.noreply.github.com>
Date: Sat, 17 May 2025 11:07:50 +0200
Subject: [PATCH] Added `puresat`.

---
 build-constraints.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index e3edaee2..21775670 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -5651,6 +5651,7 @@ packages:
         - protobuf < 0.2.1.4 || > 0.2.1.4 # deprecated version
         - ptr
         - pureMD5
+        - puresat
         - quickcheck-instances
         - quickcheck-io
         - quickcheck-simple
@@ -7508,7 +7509,6 @@ packages:
         - sparse-tensor < 0 # tried sparse-tensor-0.2.1.5, but its *library* requires containers >=0.5 && < 0.7 and the snapshot contains containers-0.7
         - sparse-tensor < 0 # tried sparse-tensor-0.2.1.5, but its *library* requires deepseq >=1.1 && < 1.5 and the snapshot contains deepseq-1.5.0.0
         - sparse-tensor < 0 # tried sparse-tensor-0.2.1.5, but its *library* requires zlib >=0.6 && < 0.7 and the snapshot contains zlib-0.7.1.0
-        - spdx < 0 # tried spdx-1.1, but its *library* requires the disabled package: puresat
         - speculation < 0 # tried speculation-1.5.0.3, but its *library* requires stm >=2.1 && < 2.5 and the snapshot contains stm-2.5.3.1
         - speculation < 0 # tried speculation-1.5.0.3, but its *library* requires transformers >=0.2.2.0 && < 0.6 and the snapshot contains transformers-0.6.1.1
         - sqlcli < 0 # tried sqlcli-0.2.2.0, but its *library* requires transformers >=0.5 && < 0.6 and the snapshot contains transformers-0.6.1.1