haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-01-12 07:18:31 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

use liquid-fixpoint < 8.10.7, which is deprecated (#7819)

Browse Source
This commit is contained in:
Jens Petersen 2025-08-16 15:52:24 +08:00
parent ed22b9fb93
commit 5959893411
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build-constraints.yaml
View File

@ -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