[Pkg-haskell-commits] [agda] 01/04: Add patch from Joachim to allow transformers 0.4 and mtl 2.3

[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 3d550e3b45714d5644502d956801d7a3f7ad26b4
Author: Iain Lane <laney at debian.org>
Date:   Tue Sep 23 09:53:14 2014 +0100

    Add patch from Joachim to allow transformers 0.4 and mtl 2.3
---
 debian/patches/allow-transformers-0.4 | 19 +++++++++++++++++++
 debian/patches/series                 |  1 +
 2 files changed, 20 insertions(+)

diff --git a/debian/patches/allow-transformers-0.4 b/debian/patches/allow-transformers-0.4
new file mode 100644
index 0000000..a3ad741
--- /dev/null
+++ b/debian/patches/allow-transformers-0.4
@@ -0,0 +1,19 @@
+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
new file mode 100644
index 0000000..1a35253
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+allow-transformers-0.4

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