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

Merge pull request #1841 from asr/master

Browse Source 
Enabled Agda 2.5.1.1
This commit is contained in:
Jens Petersen 2016-09-06 10:25:06 +09:00 committed by GitHub
commit 9824f941b9
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
build-constraints.yaml
View File

@ -1670,8 +1670,8 @@ packages:
# GHC 8 - ghc-parser
# GHC 8 - ipython-kernel
# "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
# bounds - Agda
"Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
- Agda
"James Cook <mokus@deepbondi.net> @mokus0":
- dependent-sum