diff options
Diffstat (limited to 'math/hs-Agda/files/patch-Agda.cabal')
| -rw-r--r-- | math/hs-Agda/files/patch-Agda.cabal | 28 |
1 files changed, 17 insertions, 11 deletions
diff --git a/math/hs-Agda/files/patch-Agda.cabal b/math/hs-Agda/files/patch-Agda.cabal index ae803d339dd4..f6be142036d6 100644 --- a/math/hs-Agda/files/patch-Agda.cabal +++ b/math/hs-Agda/files/patch-Agda.cabal @@ -1,11 +1,17 @@ ---- ./Agda.cabal.orig 2014-06-16 12:42:15.000000000 +0200 -+++ ./Agda.cabal 2014-07-13 13:20:32.000000000 +0200 -@@ -76,7 +76,7 @@ - transformers == 0.3.*, - -- mtl-2.1 contains a severe bug - mtl >= 2.1.1 && < 2.2, -- QuickCheck >= 2.7.5 && < 2.8, -+ QuickCheck >= 2.6 && < 2.7, - haskell-src-exts >= 1.9.6 && < 1.16, - containers >= 0.1 && < 0.6, - unordered-containers == 0.2.*, +--- Agda.cabal.orig 2015-05-25 16:22:38 UTC ++++ Agda.cabal +@@ -85,12 +85,12 @@ library + -- even though it builds with older GHCs. + , bytestring >= 0.9.2.1 && < 0.11 + , containers >= 0.4.2.1 && < 0.6 +- , data-hash == 0.2.0.0 ++ , data-hash == 0.2.0.* + , deepseq >= 1.3.0.0 && < 1.5 + , edit-distance >= 0.2.1.2 && < 0.3 + , equivalence >= 0.2.5 && < 0.4 + , filepath >= 1.3.0.0 && < 1.5 +- , geniplate-mirror >= 0.6.0.6 && < 0.7 ++ , geniplate-mirror >= 0.6.0.6 && < 0.8 + -- hashable 1.2.0.10 makes library-test 10x slower. The issue was + -- fixed in hashable 1.2.1.0. + -- https://github.com/tibbe/hashable/issues/57. |