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

Added Agda.

Browse Source 
@nomeata suggested add Agda in
https://code.google.com/p/agda/issues/detail?id=1479.
This commit is contained in:
Andrés Sicard-Ramírez 2015-04-02 17:39:58 -05:00
parent f4575cbe48
commit f24dadcd99
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

@ -854,6 +854,9 @@ packages:
"Tim Baumann <tim@timbaumann.info> @timjb":
- aeson-schema
"Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
- Agda
"Stackage upper bounds":
# GHC 7.8 uppdate bound
- haddock-api < 2.16