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

Merge pull request #1224 from asr/master

Browse Source 
Disable Agda due to upper bound on unordered-containers
This commit is contained in:
Dan Burton 2016-02-15 11:43:42 -08:00
commit 71ede9e1a0
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

@ -1493,7 +1493,9 @@ packages:
- ipython-kernel
"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":
- dependent-sum