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

Disable Agda due to upper bound on unordered-containers.

Browse Source 
Agda 2.4.2.5 doesn't support unordered-containers 0.2.6.0.
This commit is contained in:
Andrés Sicard-Ramírez 2016-02-14 20:44:48 -05:00
parent 87ba7c7f6e
commit 9ac217f688
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

@ -1492,7 +1492,9 @@ 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 # Temporarily removed due to upper bound on unordered-containers.
# - Agda
[]
"James Cook <mokus@deepbondi.net> @mokus0": "James Cook <mokus@deepbondi.net> @mokus0":
- dependent-sum - dependent-sum