From 73d9fa200dd758c767971d61f0f91c80c9920e0a Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Sun, 10 May 2026 23:20:36 +0800
Subject: [PATCH] bound liquid-fixpoint < 0.9.6.3.6

---
 build-constraints.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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