From 35d09ca78029f53b0bf1438270fae75966dccea8 Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Mon, 29 Dec 2025 18:31:11 +0800
Subject: [PATCH] trivial tweaks to liquid* upperbounds

---
 build-constraints.yaml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 25d9f6c6..99a932e2 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -4893,9 +4893,9 @@ packages:
         - BNFC-meta
         - alex-meta
         - happy-meta
-        - liquidhaskell == 0.9.12.2
-        - liquidhaskell-boot
-        - liquid-fixpoint < 8.10.7
+        - liquidhaskell < 0.9.14
+        - liquidhaskell-boot < 0.9.14
+        - liquid-fixpoint < 1
         - smtlib-backends
         - smtlib-backends-process
         - smtlib-backends-tests