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