diff --git a/build-constraints.yaml b/build-constraints.yaml index bd56c385..0d04675c 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -4938,9 +4938,9 @@ packages: - BNFC-meta - alex-meta - happy-meta - - liquidhaskell < 0.9.14 - - liquidhaskell-boot < 0.9.14 - - liquid-fixpoint < 0.9.6.3.6 + - liquidhaskell + - liquidhaskell-boot + - liquid-fixpoint - smtlib-backends - smtlib-backends-process - smtlib-backends-tests @@ -7741,6 +7741,11 @@ packages: - singletons-th < 3.5.1 - th-desugar < 1.19 + # liquidhaskell + - liquidhaskell < 0.9.14 + - liquidhaskell-boot < 0.9.14 + - liquid-fixpoint < 0.9.6.3.6 + "Stackage upper bounds": # https://github.com/commercialhaskell/stackage/issues/7851