diff --git a/build-constraints.yaml b/build-constraints.yaml
index d5cd45ab..46151488 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -8542,10 +8542,6 @@ packages:
         - tls < 2
         - tls-session-manager < 0.0.5
 
-        # https://github.com/commercialhaskell/stackage/issues/7317
-        - sbv < 10.4
-        - crackNum < 3.7
-
     # end of Stackage upper bounds
 # end of packages
 
@@ -8943,6 +8939,7 @@ skipped-tests:
     - ghc-source-gen # tried ghc-source-gen-0.4.4.1, but its *test-suite* requires tasty >=1.0 && < 1.5 and the snapshot contains tasty-1.5
     - ginger # tried ginger-0.10.5.2, but its *test-suite* requires tasty >=1.2 && < 1.5 and the snapshot contains tasty-1.5
     - greskell # tried greskell-2.0.3.0, but its *test-suite* requires bytestring >=0.10.8.1 && < 0.12 and the snapshot contains bytestring-0.12.0.2
+    - grisette # tried grisette-0.4.1.0, but its *test-suite* requires sbv >=8.11 && < 10.4 and the snapshot contains sbv-10.4
     - hasbolt # tried hasbolt-0.1.7.0, but its *test-suite* requires hspec >=2.4.1 && < 2.11 and the snapshot contains hspec-2.11.7
     - haskell-names # tried haskell-names-0.9.9, but its *test-suite* requires tasty >=0.12 && < 1.3 and the snapshot contains tasty-1.5
     - haskell-tools-builtin-refactorings # tried haskell-tools-builtin-refactorings-1.1.1.0, but its *test-suite* requires tasty >=0.11 && < 1.2 and the snapshot contains tasty-1.5