Upgrade sbv, disable grisette test suite. closes #7317

This commit is contained in:
Adam Bergmark 2024-02-16 22:57:35 +01:00
parent b3eac5ab11
commit fb2a50c986

View File

@ -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