haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-01-29 15:40:26 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #7819 from ulysses4ever/liquidhaskell-nightly

Browse Source 
re-enable liquidhaskell
This commit is contained in:
Jens Petersen 2025-08-16 15:37:29 +08:00 committed by GitHub
commit e3543e25f0
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 9 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
build-constraints.yaml
View File

@ -5009,10 +5009,16 @@ packages:
"Brooklyn Zelenka <hello@brooklynzelenka.com> @expede": "Brooklyn Zelenka <hello@brooklynzelenka.com> @expede":
- rescue - rescue
"Artem Pelenitsyn <artem.pelenitsyn@gmail.com> @ulysses4ever": "Artem Pelenitsyn <a@pelenitsyn.top> @ulysses4ever":
- BNFC-meta
- alex-meta - alex-meta
- happy-meta - happy-meta
- BNFC-meta - liquidhaskell == 0.9.12.2
- liquidhaskell-boot
- liquid-fixpoint == 0.9.6.3.3
- smtlib-backends
- smtlib-backends-process
- smtlib-backends-tests
- vector-hashtables - vector-hashtables
"Tomasz Maciosowski <t4ccer@gmail.com> @t4ccer": "Tomasz Maciosowski <t4ccer@gmail.com> @t4ccer":
@ -5654,8 +5660,6 @@ packages:
- libyaml - libyaml
- libyaml-clib - libyaml-clib
- lifted-base - lifted-base
- liquidhaskell == 0.9.10.1
- liquidhaskell-boot == 0.9.10.1
- loch-th - loch-th
- lockfree-queue - lockfree-queue
- log-base - log-base
@ -7207,12 +7211,6 @@ packages:
- lens-simple < 0 # tried lens-simple-0.1.0.9, but its *library* requires lens-family-core >=1.2 && < 1.3 and the snapshot contains lens-family-core-2.1.3 - lens-simple < 0 # tried lens-simple-0.1.0.9, but its *library* requires lens-family-core >=1.2 && < 1.3 and the snapshot contains lens-family-core-2.1.3
- lens-simple < 0 # tried lens-simple-0.1.0.9, but its *library* requires mtl >=2.1 && < 2.3 and the snapshot contains mtl-2.3.1 - lens-simple < 0 # tried lens-simple-0.1.0.9, but its *library* requires mtl >=2.1 && < 2.3 and the snapshot contains mtl-2.3.1
- libgraph < 0 # tried libgraph-1.14, but its *library* requires the disabled package: union-find - libgraph < 0 # tried libgraph-1.14, but its *library* requires the disabled package: union-find
- liquidhaskell < 0 # tried liquidhaskell-0.9.10.1, but its *library* requires bytestring ==0.12.1.0 and the snapshot contains bytestring-0.12.2.0
- 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 ghc ^>=9.10 and the snapshot contains ghc-9.12.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 optparse-applicative < 0.19 and the snapshot contains optparse-applicative-0.19.0.0
- liquidhaskell-boot < 0 # tried liquidhaskell-boot-0.9.10.1, but its *library* requires the disabled package: liquid-fixpoint
- loc < 0 # tried loc-0.2.0.0, but its *library* requires base ^>=4.16 || ^>=4.17 || ^>=4.18 and the snapshot contains base-4.21.0.0 - loc < 0 # tried loc-0.2.0.0, but its *library* requires base ^>=4.16 || ^>=4.17 || ^>=4.18 and the snapshot contains base-4.21.0.0
- loc < 0 # tried loc-0.2.0.0, but its *library* requires containers ^>=0.6.4 and the snapshot contains containers-0.7 - loc < 0 # tried loc-0.2.0.0, but its *library* requires containers ^>=0.6.4 and the snapshot contains containers-0.7
- loopbreaker < 0 # tried loopbreaker-0.1.1.1, but its *library* requires containers >=0.6 && < 0.7 and the snapshot contains containers-0.7 - loopbreaker < 0 # tried loopbreaker-0.1.1.1, but its *library* requires containers >=0.6 && < 0.7 and the snapshot contains containers-0.7

1
docker/02-apt-get-install.sh
View File

@ -169,6 +169,7 @@ apt-get install -y \
unzip \ unzip \
wget \ wget \
xclip \ xclip \
z3 \
zip \ zip \
zlib1g-dev \ zlib1g-dev \
zsh zsh