diff --git a/build-constraints.yaml b/build-constraints.yaml
index e29286c9..d8e97370 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -7553,6 +7553,7 @@ packages:
         - proto-lens-setup < 0 # tried proto-lens-setup-0.4.0.9, but its *library* requires base >=4.10 && < 4.21 and the snapshot contains base-4.21.0.0
         - protocol-buffers-descriptor < 0 # tried protocol-buffers-descriptor-2.4.17, but its *library* requires the disabled package: protocol-buffers
         - puresat < 0 # tried puresat-0.1, but its *executable* requires optparse-applicative ^>=0.18.1.0 and the snapshot contains optparse-applicative-0.19.0.0
+        - puresat < 0 # tried puresat-0.1, but its *library* requires base >=4.18.2.1 && < 4.21 and the snapshot contains base-4.21.0.0
         - purview < 0 # tried purview-0.2.0.2, but its *library* requires template-haskell >=2.15.0 && < 2.21 and the snapshot contains template-haskell-2.23.0.0
         - purview < 0 # tried purview-0.2.0.2, but its *library* requires warp >=3.3.0 && < 3.4 and the snapshot contains warp-3.4.9
         - purview < 0 # tried purview-0.2.0.2, but its *library* requires websockets >=0.12 && < 0.13 and the snapshot contains websockets-0.13.0.0