[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master, updated. debian/2.3.0.1-1-2-g7cf34a8

[Joachim Breitner]

The following commit has been merged in the master branch:
commit bf984d0d5ec9ffe34b62fd1ba10fe1358e2a8b22
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Fri May 25 22:57:16 2012 +0200

    New patch: Extend mtl dependency

diff --git a/debian/changelog b/debian/changelog
index 3b7640e..d356bbc 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+agda (2.3.0.1-2) UNRELEASED; urgency=low
+
+  * New patch: Extend mtl dependency 
+
+ -- Joachim Breitner <nomeata at debian.org>  Fri, 25 May 2012 22:56:55 +0200
+
 agda (2.3.0.1-1) unstable; urgency=low
 
   * New upstream release, GHC-7.4.1 compatible (Closes: #663048) 
diff --git a/debian/control b/debian/control
index be54d4c..891ec90 100644
--- a/debian/control
+++ b/debian/control
@@ -17,7 +17,7 @@ Build-Depends: debhelper (>= 7.0),
                libghc-haskell-src-dev (>= 1.0.1.1),
                libghc-haskell-src-dev (<< 2),
                libghc-mtl-dev (>= 2.0),
-               libghc-mtl-dev (<< 3),
+               libghc-mtl-dev (<< 3.2),
                libghc-xhtml-dev (>= 3000.2),
                libghc-xhtml-dev (<< 3000.3),
                libghc-zlib-dev (>= 0.4.0.1),
diff --git a/debian/patches/extend-mtl-dependenc b/debian/patches/extend-mtl-dependenc
new file mode 100644
index 0000000..3c640c9
--- /dev/null
+++ b/debian/patches/extend-mtl-dependenc
@@ -0,0 +1,15 @@
+Description: Extend mtl dependency
+Author: Joachim Breitner <nomeata at debian.org>
+
+
+--- agda-2.3.0.1.orig/Agda.cabal
++++ agda-2.3.0.1/Agda.cabal
+@@ -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 && < 2.2,
+                     QuickCheck >= 2.3 && < 2.5,
+                     haskell-src-exts >= 1.9.6 && < 1.12,
+                     containers >= 0.1 && < 0.5,

-- 
Packaging for Agda