diff --git a/build-constraints.yaml b/build-constraints.yaml
index 0c8c73cb..809cb6dc 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -5015,7 +5015,7 @@ packages:
         - happy-meta
         - liquidhaskell == 0.9.12.2
         - liquidhaskell-boot
-        - liquid-fixpoint == 0.9.6.3.3
+        - liquid-fixpoint < 8.10.7
         - smtlib-backends
         - smtlib-backends-process
         - smtlib-backends-tests