[ .cabal ] Allow tasty 0.11.* versions.

agda · Oct 15, 2015 · 87d25cc · 87d25cc
1 parent eff0638
commit 87d25cc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Agda.cabal b/Agda.cabal
@@ -557,7 +557,7 @@ test-suite agda-tests
                     , process-extras >= 0.2.0 && < 0.4
                     , regex-tdfa >= 1.2.0 && < 1.3
                     , regex-tdfa-text >= 1.0.0.3 && < 1.1
-                    , tasty >= 0.10 && < 0.11
+                    , tasty >= 0.10 && < 0.12
                     , tasty-silver >= 3.1.7 && < 3.2
                     , temporary >= 1.2.0.3 && < 1.3
                     , text >= 0.11.3.1 && < 1.3