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

[Iain Lane]

The following commit has been merged in the master branch:
commit d290f950501dc54fd1081088b87ef79fc3797af3
Author: Iain Lane <laney at debian.org>
Date:   Wed Apr 10 11:41:36 2013 +0100

    Allow Quickcheck up to 2.7. Fix haskeline build-dep.

diff --git a/debian/control b/debian/control
index 4bdb7c3..35d6d9e 100644
--- a/debian/control
+++ b/debian/control
@@ -13,7 +13,7 @@ Build-Depends: debhelper (>= 7.0),
                libghc-hashtables-dev (>= 1.0),
                libghc-hashtables-dev (<< 1.1),
                libghc-haskeline-dev (>= 0.3),
-               libghc-haskeline-dev (<< 0.7),
+               libghc-haskeline-dev (<< 0.8),
                libghc-haskell-src-dev (>= 1.0.1.1),
                libghc-haskell-src-dev (<< 2),
                libghc-mtl-dev (>= 2.0),
@@ -27,7 +27,7 @@ Build-Depends: debhelper (>= 7.0),
                libghc-src-exts-dev (>= 1.9.6),
                libghc-src-exts-dev (<< 1.14),
                libghc-quickcheck2-dev (>= 2.3),
-               libghc-quickcheck2-dev (<< 2.5),
+               libghc-quickcheck2-dev (<< 2.7),
                libghc-syb-dev (>= 0.1),
                libghc-syb-dev (<< 0.4),
                happy (>= 1.15),
diff --git a/debian/patches/allow-quickcheck-2.7 b/debian/patches/allow-quickcheck-2.7
new file mode 100644
index 0000000..529a479
--- /dev/null
+++ b/debian/patches/allow-quickcheck-2.7
@@ -0,0 +1,17 @@
+Description: Backport upstream commit to allow QuickCheck 2.6.
+Forwarded: yes
+Author: Iain Lane <laney at debian.org>
+
+Index: b/Agda.cabal
+===================================================================
+--- a/Agda.cabal
++++ b/Agda.cabal
+@@ -69,7 +69,7 @@
+ 
+   build-depends:    base >= 4.2 && < 4.7,
+                     mtl >= 2.0 && < 2.2,
+-                    QuickCheck >= 2.3 && < 2.6,
++                    QuickCheck >= 2.3 && < 2.7,
+                     haskell-src-exts >= 1.9.6 && < 1.14,
+                     containers >= 0.1 && < 0.6,
+                     unordered-containers == 0.2.*,
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..17fbb8a
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+allow-quickcheck-2.7

-- 
Packaging for Agda