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

reenable Agda

Browse Source
This commit is contained in:
Jens Petersen 2018-06-04 11:08:19 +09:00
parent 5f428990d1
commit 7d16b2bbce
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build-constraints.yaml
View File

@ -2007,7 +2007,7 @@ packages:
- ipython-kernel - ipython-kernel
"Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr": "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
- Agda < 0 # GHC 8.4 via template-haskell-2.13.0.0 - Agda
"James Cook <mokus@deepbondi.net> @mokus0": "James Cook <mokus@deepbondi.net> @mokus0":
- dependent-sum - dependent-sum