haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-01-11 23:08:30 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Reenable Agda, disable simple-session

Browse Source 
This fixes the current breakage, as reported by `./check`:

simple (Amit Levy <amit@amitlevy.com> @alevy, Library and exe bounds failures) (not present) depended on by:
- [ ] simple-session-2.0.0 (>=2.0.0). Amit Levy <amit@amitlevy.com> @alevy. Used by: library
This commit is contained in:
Andreas Abel 2023-12-30 08:50:08 +01:00
parent 2a9d962b1f
commit eaa6cc8b52
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
build-constraints.yaml
View File

@ -75,7 +75,7 @@ packages:
- geniplate-mirror
"Andreas Abel <andreas.abel@gu.se> @andreasabel":
- Agda < 0
- Agda
- agda2lagda
- BNFC
- cabal-clean
@ -8421,6 +8421,7 @@ packages:
- simple-log < 0 # tried simple-log-0.9.12, but its *library* requires transformers >=0.4 && < 0.6 and the snapshot contains transformers-0.6.1.0
- simple-media-timestamp-formatting < 0 # tried simple-media-timestamp-formatting-0.1.1.0, but its *library* requires formatting >=7.0.0 && < 7.2 and the snapshot contains formatting-7.2.0
- simple-pango < 0 # tried simple-pango-0.1.0.1, but its *library* requires the disabled package: simple-cairo
- simple-session < 0 # tried simple-session-2.0.0, but its *library* requires the disabled package: simple
- simplest-sqlite < 0 # tried simplest-sqlite-0.1.0.2, but its *library* requires bytestring >=0.10 && < 0.11 and the snapshot contains bytestring-0.12.0.2
- simplest-sqlite < 0 # tried simplest-sqlite-0.1.0.2, but its *library* requires template-haskell >=2.12 && < 2.16 and the snapshot contains template-haskell-2.21.0.0
- simplest-sqlite < 0 # tried simplest-sqlite-0.1.0.2, but its *library* requires text >=1.1 && < 1.3 and the snapshot contains text-2.1