bump liquidhaskell to 0.9.10.1

This commit is contained in:
Jens Petersen 2024-12-12 12:18:40 +08:00
parent 7af309a8f0
commit c5e992f2a5

View File

@ -5574,8 +5574,8 @@ packages:
- libyaml
- libyaml-clib
- lifted-base
- liquidhaskell == 0.9.8.2
- liquidhaskell-boot == 0.9.8.2
- liquidhaskell == 0.9.10.1
- liquidhaskell-boot == 0.9.10.1
- loch-th
- lockfree-queue
- log-base
@ -7497,11 +7497,11 @@ packages:
- linear-circuit < 0 # tried linear-circuit-0.1.0.4, but its *library* requires the disabled package: lapack
- liquid-fixpoint < 0 # tried liquid-fixpoint-8.10.7, but its *library* requires megaparsec >=7.0.0 && < 9 and the snapshot contains megaparsec-9.7.0
- liquid-fixpoint < 0 # tried liquid-fixpoint-8.10.7, but its *library* requires rest-rewrite >=0.1.1 && < 0.2 and the snapshot contains rest-rewrite-0.4.4
- liquidhaskell < 0 # tried liquidhaskell-0.9.8.2, but its *library* requires containers ==0.6.8 and the snapshot contains containers-0.7
- liquidhaskell-boot < 0 # tried liquidhaskell-boot-0.9.8.2, but its *library* requires Diff >=0.3 && < 0.6 and the snapshot contains Diff-1.0.2
- liquidhaskell-boot < 0 # tried liquidhaskell-boot-0.9.8.2, but its *library* requires ghc ^>=9.8 and the snapshot contains ghc-9.10.1
- liquidhaskell-boot < 0 # tried liquidhaskell-boot-0.9.8.2, but its *library* requires hashable >=1.3 && < 1.5 and the snapshot contains hashable-1.5.0.0
- liquidhaskell-boot < 0 # tried liquidhaskell-boot-0.9.8.2, but its *library* requires liquid-fixpoint ==0.9.6.3.1 and the snapshot contains liquid-fixpoint-8.10.7
- liquid-fixpoint < 0 # tried liquid-fixpoint-8.10.7, but its *library* requires the disabled package: store
- liquidhaskell < 0 # tried liquidhaskell-0.9.10.1, but its *library* requires the disabled package: liquidhaskell-boot
- liquidhaskell-boot < 0 # tried liquidhaskell-boot-0.9.10.1, but its *library* requires Diff >=0.3 && < 0.6 and the snapshot contains Diff-1.0.2
- liquidhaskell-boot < 0 # tried liquidhaskell-boot-0.9.10.1, but its *library* requires hashable >=1.3 && < 1.5 and the snapshot contains hashable-1.5.0.0
- liquidhaskell-boot < 0 # tried liquidhaskell-boot-0.9.10.1, but its *library* requires liquid-fixpoint ==0.9.6.3.1 and the snapshot contains liquid-fixpoint-8.10.7
- llvm-hs-pure < 0 # tried llvm-hs-pure-9.0.0, but its *library* requires bytestring >=0.10 && < 0.11.3 and the snapshot contains bytestring-0.12.1.0
- llvm-hs-pure < 0 # tried llvm-hs-pure-9.0.0, but its *library* requires mtl >=2.1 && < 2.3 and the snapshot contains mtl-2.3.1
- llvm-hs-pure < 0 # tried llvm-hs-pure-9.0.0, but its *library* requires transformers >=0.3 && < 0.6 and the snapshot contains transformers-0.6.1.1