@@ -3324,6 +3324,8 @@ packages:
33243324 "Stackage upper bounds":
33253325 # https://github.com/fpco/stackage/issues/2814
33263326 - doctest < 0.12
3327+ # Once unconstrained, remove the following skipped-tests
3328+ # - sbv
33273329
33283330 # https://github.com/fpco/stackage/issues/2714
33293331 - brick < 0.21
@@ -3545,6 +3547,7 @@ skipped-tests:
35453547
35463548 # Blocked by stackage upper bounds. These can be re-enabled once
35473549 # the relevant stackage upper bound is lifted.
3550+ - sbv # doctest >= 0.13
35483551
35493552 # Compilation failures
35503553 - proto-lens-combinators # https://github.com/google/proto-lens/issues/119