Skip to content

Commit 5959893

Browse files
committed
use liquid-fixpoint < 8.10.7, which is deprecated (#7819)
1 parent ed22b9f commit 5959893

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

build-constraints.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5015,7 +5015,7 @@ packages:
50155015
- happy-meta
50165016
- liquidhaskell == 0.9.12.2
50175017
- liquidhaskell-boot
5018-
- liquid-fixpoint == 0.9.6.3.3
5018+
- liquid-fixpoint < 8.10.7
50195019
- smtlib-backends
50205020
- smtlib-backends-process
50215021
- smtlib-backends-tests

0 commit comments

Comments
 (0)