Added puresat.

Author: alaendle

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