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

Enabled Agda 2.5.3.

Browse Source
This commit is contained in:
Andrés Sicard-Ramírez 2017-09-10 22:46:02 -05:00
parent aa388106a9
commit 0c7ad6906b
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

@ -2033,8 +2033,7 @@ 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
# - Agda # GHC 8.2.1
"James Cook <mokus@deepbondi.net> @mokus0": "James Cook <mokus@deepbondi.net> @mokus0":
- dependent-sum - dependent-sum