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

Reenable Agda

Browse Source 
Agda-2.6.2.2 is compatible with the nightly snapshot (bytstring-0.11.3).
This commit is contained in:
Andreas Abel 2022-04-02 21:04:36 +02:00 committed by Mihai Maruseac
parent 2670addbb3
commit d84f92e04b
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
build-constraints.yaml
View File

@ -5531,7 +5531,6 @@ packages:
# verify if they have been fixeq. # verify if they have been fixeq.
"Library and exe bounds failures": "Library and exe bounds failures":
- ALUT < 0 # tried ALUT-2.4.0.3, but its *library* requires the disabled package: OpenAL - ALUT < 0 # tried ALUT-2.4.0.3, but its *library* requires the disabled package: OpenAL
- Agda < 0 # tried Agda-2.6.2.1, but its *library* does not support: bytestring-0.11.3.0
- BiobaseENA < 0 # tried BiobaseENA-0.0.0.2, but its *library* requires the disabled package: BiobaseTypes - BiobaseENA < 0 # tried BiobaseENA-0.0.0.2, but its *library* requires the disabled package: BiobaseTypes
- BiobaseFasta < 0 # tried BiobaseFasta-0.4.0.1, but its *library* requires the disabled package: streaming-bytestring - BiobaseFasta < 0 # tried BiobaseFasta-0.4.0.1, but its *library* requires the disabled package: streaming-bytestring
- BiobaseHTTP < 0 # tried BiobaseHTTP-1.2.0, but its *library* does not support: network-3.1.2.7 - BiobaseHTTP < 0 # tried BiobaseHTTP-1.2.0, but its *library* does not support: network-3.1.2.7