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

Merge pull request #2155 from asr/master

Browse Source 
Enabled Agda 2.5.2
This commit is contained in:
Adam Bergmark 2016-12-23 14:44:02 +01:00 committed by GitHub
commit 9802a56909
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
build-constraints.yaml
View File

@ -1759,8 +1759,7 @@ packages:
# GHC 8 - ipython-kernel
"Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
[]
# - Agda # BLOCKED haskell-src-exts < 1.18 and QuickCheck < 2.9
- Agda
"James Cook <mokus@deepbondi.net> @mokus0":
- dependent-sum