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

clarify repa and Agda QuickCheck blocks

Browse Source
This commit is contained in:
Jens Petersen 2016-10-07 13:39:19 +09:00
parent bd333494d1
commit d3958bc3bd
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
build-constraints.yaml
View File

@ -622,9 +622,9 @@ packages:
- versions
- vectortiles
- pipes-random
# - repa # BLOCKED QuickCheck 2.9
# - repa-io # BLOCKED QuickCheck 2.9
# - repa-algorithms # BLOCKED QuickCheck 2.9
# - repa # BLOCKED QuickCheck < 2.9
# - repa-io # BLOCKED repa
# - repa-algorithms # BLOCKED repa
# GHC 8 - kanji
"Ketil Malde @ketil-malde":
@ -1689,7 +1689,7 @@ packages:
"Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
[]
# - Agda # BLOCKED haskell-src-exts 1.18 and QuickCheck-2.9
# - Agda # BLOCKED haskell-src-exts < 1.18 and QuickCheck < 2.9
"James Cook <mokus@deepbondi.net> @mokus0":
- dependent-sum