From 5959893411c32e47f00a3710fc1a3c8ef330a241 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Sat, 16 Aug 2025 15:52:24 +0800 Subject: [PATCH] use liquid-fixpoint < 8.10.7, which is deprecated (#7819) --- build-constraints.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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