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

[ #1222 ] Re-enable Agda.

Browse Source 
Added support for unordered-containers 0.2.6.0 in Agda 2.5.1.
This commit is contained in:
Andrés Sicard-Ramírez 2016-04-17 17:53:52 -05:00
parent 00dedc4673
commit 0a6cfc034e
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
build-constraints.yaml
View File

@ -1546,9 +1546,7 @@ packages:
- ipython-kernel
"Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
# Temporarily removed due to upper bound on unordered-containers.
# - Agda
[]
- Agda
"James Cook <mokus@deepbondi.net> @mokus0":
- dependent-sum