haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-03-12 19:56:34 +01:00
Code Issues Actions 1 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 bd55548fa1
commit 5a9b04cea8
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

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