drop what4 < 1.7 (#7725)

This commit is contained in:
Jens Petersen 2025-07-18 17:13:35 +08:00
parent 0e936e8170
commit d5c815d052

View File

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