[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master, updated. debian/2.2.10-2-2-g2cd82f2

[Joachim Breitner]

The following commit has been merged in the master branch:
commit 28e8198dae47034c62960d653647f1ee5a77b8da
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Fri Jun 17 10:32:12 2011 +0200

    Extend haskell-src-exts dependency range to include 0.11.*

diff --git a/debian/changelog b/debian/changelog
index 9708e5a..d439296 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+agda (2.2.10-3) UNRELEASED; urgency=low
+
+  * Extend haskell-src-exts dependency range to include 0.11.* 
+
+ -- Joachim Breitner <nomeata at debian.org>  Fri, 17 Jun 2011 10:29:31 +0200
+
 agda (2.2.10-2) unstable; urgency=low
 
   * Adjust conflict on haskell-agda-doc to exclude the dummy package (Closes:
diff --git a/debian/control b/debian/control
index 3560c80..2054fd9 100644
--- a/debian/control
+++ b/debian/control
@@ -20,7 +20,7 @@ Build-Depends: debhelper (>= 7.0),
                libghc-zlib-dev (>= 0.4.0.1),
                libghc-zlib-dev (<< 1),
                libghc-src-exts-dev (>= 1.9.6),
-               libghc-src-exts-dev (<< 1.11),
+               libghc-src-exts-dev (<< 1.12),
                libghc-quickcheck2-dev (>= 2.3),
                libghc-quickcheck2-dev (<< 2.5),
                libghc-syb-dev (>= 0.1),
@@ -45,7 +45,7 @@ Build-Depends-Indep: ghc-doc,
                      libghc-zlib-doc (>= 0.4.0.1),
                      libghc-zlib-doc (<< 1),
                      libghc-src-exts-doc (>= 1.9.6),
-                     libghc-src-exts-doc (<< 1.11),
+                     libghc-src-exts-doc (<< 1.12),
                      libghc-quickcheck2-doc (>= 2.3),
                      libghc-quickcheck2-doc (<< 2.5),
                      libghc-syb-doc (>= 0.1),
diff --git a/debian/patches/0002-Compatibility-with-src-exts-1.11.patch b/debian/patches/0002-Compatibility-with-src-exts-1.11.patch
index 3a4be62..33da6f7 100644
--- a/debian/patches/0002-Compatibility-with-src-exts-1.11.patch
+++ b/debian/patches/0002-Compatibility-with-src-exts-1.11.patch
@@ -6,17 +6,16 @@ Subject: Compatibility with src-exts 1.11
  Agda.cabal |    2 +-
  1 files changed, 1 insertions(+), 1 deletions(-)
 
-diff --git a/Agda.cabal b/Agda.cabal
-index 5675dbe..443fa0f 100644
---- a/Agda.cabal
-+++ b/Agda.cabal
-@@ -77,7 +77,7 @@ library
+Index: agda/Agda.cabal
+===================================================================
+--- agda.orig/Agda.cabal	2011-06-08 09:30:47.000000000 +0200
++++ agda/Agda.cabal	2011-06-17 10:30:29.000000000 +0200
+@@ -77,7 +77,7 @@
      build-depends:  epic >= 0.1.7 && < 0.2
    build-depends:    mtl == 2.0.*,
                      QuickCheck >= 2.3 && < 2.5,
 -                    haskell-src-exts >= 1.9.6 && < 1.10,
-+                    haskell-src-exts >= 1.9.6 && < 1.11,
++                    haskell-src-exts >= 1.9.6 && < 1.12,
                      containers >= 0.1.0 && < 1,
                      pretty >= 1 && < 2,
                      directory >= 1.0 && < 1.2,
--- 

-- 
Packaging for Agda