mirror of
https://github.com/commercialhaskell/stackage.git
synced 2026-09-07 18:33:52 +02:00
what4 < 1.8, disable what4-domains (#7851)
because of parameterized-utils
This commit is contained in:
parent
f9b5c884c0
commit
1df6cd295c
@ -7839,6 +7839,8 @@ packages:
|
|||||||
- microlens-pro < 0.2.0.5
|
- microlens-pro < 0.2.0.5
|
||||||
- microlens-th < 0.4.3.18
|
- microlens-th < 0.4.3.18
|
||||||
- parameterized-utils < 2.2.0.0
|
- parameterized-utils < 2.2.0.0
|
||||||
|
- what4 < 1.8
|
||||||
|
- what4-domains < 0
|
||||||
|
|
||||||
# https://github.com/commercialhaskell/stackage/issues/8089
|
# https://github.com/commercialhaskell/stackage/issues/8089
|
||||||
- megaparsec < 9.8
|
- megaparsec < 9.8
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user