[Pkg-haskell-commits] [agda] 07/10: Drop patch, applied (in spirit) upstream.

[Iain Lane]

This is an automated email from the git hooks/post-receive script.

laney pushed a commit to branch master
in repository agda.

commit a164dc21f9782992992e4dee8ca719579bfc3064
Author: Iain Lane <laney at debian.org>
Date:   Wed May 20 11:07:19 2015 +0100

    Drop patch, applied (in spirit) upstream.
---
 debian/patches/allow-transformers-0.4 | 19 -------------------
 debian/patches/series                 |  1 -
 2 files changed, 20 deletions(-)

diff --git a/debian/patches/allow-transformers-0.4 b/debian/patches/allow-transformers-0.4
deleted file mode 100644
index a3ad741..0000000
--- a/debian/patches/allow-transformers-0.4
+++ /dev/null
@@ -1,19 +0,0 @@
-Author: Joachim Breitner <nomeata at debian.org>
-Forwarded: https://github.com/agda/agda/commit/bb6780b874da46defefedd1d8a3529bb639a6a4e
-
-Index: Agda-2.4.2/Agda.cabal
-===================================================================
---- Agda-2.4.2.orig/Agda.cabal	2014-09-07 10:56:15.248094588 +0200
-+++ Agda-2.4.2/Agda.cabal	2014-09-07 11:03:40.172079093 +0200
-@@ -73,9 +73,9 @@
-     build-depends:  Win32 >= 2.2 && < 2.4
- 
-   build-depends:    base >= 4.2 && < 4.8,
--                    transformers == 0.3.*,
-+                    transformers == 0.3.* || == 0.4.*,
-                     -- mtl-2.1 contains a severe bug
--                    mtl >= 2.1.1 && < 2.2,
-+                    mtl >= 2.1.1 && < 2.3,
-                     QuickCheck >= 2.7.5 && < 2.8,
-                     haskell-src-exts >= 1.9.6 && < 1.16,
-                     containers >= 0.1 && < 0.6,
diff --git a/debian/patches/series b/debian/patches/series
deleted file mode 100644
index 1a35253..0000000
--- a/debian/patches/series
+++ /dev/null
@@ -1 +0,0 @@
-allow-transformers-0.4

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/agda.git