From 61223e3e0f1dcac7ed2cde142fc9eb3dba23bdf9 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Mon, 11 May 2026 10:35:45 +0800 Subject: [PATCH] move the liquidhaskell bounds into the GHC major version section cc @ulysses4ever --- build-constraints.yaml | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) 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