haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-02-18 01:05:48 +01:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

Added Agda.

Browse Source 
@nomeata suggested to add Agda in
https://code.google.com/p/agda/issues/detail?id=1479.
This commit is contained in:
Andrés Sicard-Ramírez 2015-07-31 10:00:14 -05:00
parent a32d47a728
commit a87ab40223
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
build-constraints.yaml
View File

@ -1223,6 +1223,9 @@ packages:
- refact - refact
- servant-pandoc - servant-pandoc
"Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
- Agda
"Stackage upper bounds": "Stackage upper bounds":
# https://github.com/fpco/stackage/issues/537 # https://github.com/fpco/stackage/issues/537
- zlib < 0.6 - zlib < 0.6