diff options
Diffstat (limited to 'math/hs-Agda/files/patch-Agda.cabal')
| -rw-r--r-- | math/hs-Agda/files/patch-Agda.cabal | 47 |
1 files changed, 11 insertions, 36 deletions
diff --git a/math/hs-Agda/files/patch-Agda.cabal b/math/hs-Agda/files/patch-Agda.cabal index ad9b3b70f9a2..208d469dd4d5 100644 --- a/math/hs-Agda/files/patch-Agda.cabal +++ b/math/hs-Agda/files/patch-Agda.cabal @@ -1,38 +1,13 @@ ---- ./Agda.cabal.orig 2012-03-12 11:09:34.000000000 +0100 -+++ ./Agda.cabal 2013-02-05 04:15:30.000000000 +0100 -@@ -71,13 +71,13 @@ - if flag(use-locale) - build-depends: base >= 4.2 && < 4.6 - else -- build-depends: base == 4.1.*, -+ build-depends: base >= 4.1, - utf8-string == 0.3.* - if flag(epic) - build-depends: epic >= 0.1.13 && < 0.10 -- build-depends: mtl == 2.0.*, -- QuickCheck >= 2.3 && < 2.5, -- haskell-src-exts >= 1.9.6 && < 1.12, -+ build-depends: mtl >= 2.0, -+ QuickCheck >= 2.3 && < 2.6, -+ haskell-src-exts >= 1.9.6, - containers >= 0.1 && < 0.5, - pretty >= 1.0 && < 1.2, - directory >= 1.0 && < 1.2, -@@ -90,7 +90,7 @@ +--- ./Agda.cabal.orig 2012-11-12 01:25:25.000000000 +0100 ++++ ./Agda.cabal 2013-03-09 17:44:08.000000000 +0100 +@@ -82,8 +82,8 @@ process >= 1.0.1.0 && < 1.2, - haskeline >= 0.6.3.2 && < 0.7, + haskeline >= 0.6.3.2 && < 0.8, xhtml == 3000.2.*, -- hashable == 1.1.*, -+ hashable == 1.2.*, - hashtables == 1.0.*, - syb >= 0.1 && < 0.4 - build-tools: happy >= 1.15 && < 2, -@@ -334,7 +334,7 @@ - if flag(use-locale) - build-depends: base >= 4.2 && < 4.6 - else -- build-depends: base == 4.1.*, -+ build-depends: base >= 4.1, - utf8-string == 0.3.* - build-depends: filepath >= 1.1 && < 1.4, - process >= 1.0.1.0 && < 1.2, +- hashable >= 1.1.2.3 && < 1.2, +- hashtables == 1.0.*, ++ hashable >= 1.1.2.3 && < 1.3, ++ hashtables == 1.1.*, + geniplate >= 0.6.0.3 && < 0.7, + parallel < 3.3, + deepseq == 1.3.*, |