restrict what4 < 1.7 (#7725)

This commit is contained in:
jkachmar 2025-03-21 22:52:51 -04:00 committed by GitHub
parent bbd5e234ab
commit 410422f57b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1855,7 +1855,7 @@ packages:
- panic
- parameterized-utils
- s-cargot
- what4
- what4 < 1.7 # https://github.com/commercialhaskell/stackage/issues/7725
- zenc
# copilot tests:
- hedgehog-classes