Merge pull request #7257 from andreasabel/disable-simple-session

Reenable Agda, disable simple-session
This commit is contained in:
Alexey Zabelin 2023-12-31 02:05:43 -06:00 committed by GitHub
commit 3fb82cc1d8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -75,7 +75,7 @@ packages:
- geniplate-mirror
"Andreas Abel <andreas.abel@gu.se> @andreasabel":
- Agda < 0
- Agda
- agda2lagda
- BNFC
- cabal-clean
@ -8420,6 +8420,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