haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-04-08 09:19:03 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity

Disabled Agda 2.5.2 because it doesn't support GHC 8.2.1.

Browse Source
This commit is contained in:
Andrés Sicard-Ramírez 2017-07-27 16:46:00 -05:00
parent 3a63b441f4
commit 008f07a229
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
build-constraints.yaml
View File

@ -1990,7 +1990,9 @@ packages:
# - ipython-kernel # GHC 8 # - ipython-kernel # GHC 8
"Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr": "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
- Agda # Temporarily remove because Agda 2.5.2 doesn't support GHC 8.2.1.
# - Agda
[]
"James Cook <mokus@deepbondi.net> @mokus0": "James Cook <mokus@deepbondi.net> @mokus0":
- dependent-sum - dependent-sum