haskell-agda/cabal.patch

   1 --- Agda.cabal.orig     2011-02-20 18:33:32.000000000 +0100
   2 +++ Agda.cabal  2011-08-09 15:09:41.627900051 +0200
   3 @@ -77,7 +77,7 @@
   4      build-depends:  epic >= 0.1.7 && < 0.2
   5    build-depends:    mtl == 2.0.*,
   6                      QuickCheck >= 2.3 && < 2.5,
   7 -                    haskell-src-exts >= 1.9.6 && < 1.10,
   8 +                    haskell-src-exts >= 1.9.6 && < 1.12,
   9                      containers >= 0.1.0 && < 1,
  10                      pretty >= 1 && < 2,
  11                      directory >= 1.0 && < 1.2,
  12 @@ -90,7 +90,7 @@
  13                      process >= 1.0.1.0 && < 2,
  14                      haskeline >= 0.6.3.2 && < 0.7,
  15                      xhtml == 3000.2.*,
  16 -                    syb >= 0.1 && < 0.3
  17 +                    syb >= 0.3 && < 0.4
  18    build-tools:      happy >= 1.15 && < 2,
  19                      alex >= 2.0.1 && < 3
  20    extensions:       CPP