diff --git a/build-constraints.yaml b/build-constraints.yaml
index be88ec10..82b3366d 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -4940,7 +4940,7 @@ packages:
         - happy-meta
         - liquidhaskell < 0.9.14
         - liquidhaskell-boot < 0.9.14
-        - liquid-fixpoint < 1
+        - liquid-fixpoint < 0.9.6.3.6
         - smtlib-backends
         - smtlib-backends-process
         - smtlib-backends-tests