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

[Iain Lane]

The following commit has been merged in the master branch:
commit a3bff172c29f14d91a656ec968b291953ffdc821
Author: Iain Lane <laney at debian.org>
Date:   Sun Jun 16 13:14:15 2013 +0100

    Drop Debian patches now obsoleted by this upstream release

diff --git a/debian/patches/allow-quickcheck-2.7 b/debian/patches/allow-quickcheck-2.7
deleted file mode 100644
index 529a479..0000000
--- a/debian/patches/allow-quickcheck-2.7
+++ /dev/null
@@ -1,17 +0,0 @@
-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
deleted file mode 100644
index 17fbb8a..0000000
--- a/debian/patches/series
+++ /dev/null
@@ -1 +0,0 @@
-allow-quickcheck-2.7

-- 
Packaging for Agda