[ghc-Agda] add Agda-2.3.0.1-mtl-2.1.patch

[Jens Petersen]

commit d576a11efb8671405ce936951911598906cd3c2c
Author: Jens Petersen <petersen at redhat.com>
Date:   Mon Jun 11 12:17:47 2012 +0900

    add Agda-2.3.0.1-mtl-2.1.patch

 Agda-2.3.0.1-mtl-2.1.patch |   12 ++++++++++++
 1 files changed, 12 insertions(+), 0 deletions(-)
---
diff --git a/Agda-2.3.0.1-mtl-2.1.patch b/Agda-2.3.0.1-mtl-2.1.patch
new file mode 100644
index 0000000..0a64505
--- /dev/null
+++ b/Agda-2.3.0.1-mtl-2.1.patch
@@ -0,0 +1,12 @@
+diff -up Agda-2.3.0.1/Agda.cabal~ Agda-2.3.0.1/Agda.cabal
+--- Agda-2.3.0.1/Agda.cabal~	2012-03-12 19:09:34.000000000 +0900
++++ Agda-2.3.0.1/Agda.cabal	2012-06-11 12:13:01.174134489 +0900
+@@ -75,7 +75,7 @@ library
+                     utf8-string == 0.3.*
+   if flag(epic)
+     build-depends:  epic >= 0.1.13 && < 0.10
+-  build-depends:    mtl == 2.0.*,
++  build-depends:    mtl >= 2.0,
+                     QuickCheck >= 2.3 && < 2.5,
+                     haskell-src-exts >= 1.9.6 && < 1.12,
+                     containers >= 0.1 && < 0.5,