From d3958bc3bddd566c3a29f53f51d6a3c64b29988a Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Fri, 7 Oct 2016 13:39:19 +0900
Subject: [PATCH] clarify repa and Agda QuickCheck blocks

---
 build-constraints.yaml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 9d2c66c1..bdc58af1 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -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