[Pkg-haskell-commits] [agda] 02/02: Cherry-pick from upstream: Suppoert Alex 3.1.x
Iain Lane
laney at alioth.debian.org
Tue Oct 15 10:17:54 UTC 2013
This is an automated email from the git hooks/post-receive script.
laney pushed a commit to branch master
in repository agda.
commit e21e76539f439cd0eb8a3a362d92250285bceb75
Author: Iain Lane <laney at debian.org>
Date: Tue Oct 15 10:49:18 2013 +0100
Cherry-pick from upstream: Suppoert Alex 3.1.x
---
debian/control | 2 +-
debian/patches/series | 1 +
debian/patches/support-alex-3.1 | 15 +++++++++++++++
3 files changed, 17 insertions(+), 1 deletion(-)
diff --git a/debian/control b/debian/control
index dbeab46..e4ac223 100644
--- a/debian/control
+++ b/debian/control
@@ -34,7 +34,7 @@ Build-Depends: debhelper (>= 9),
happy (>= 1.15),
happy (<< 2),
alex (>= 2.3.1),
- alex (<< 3.1),
+ alex (<< 3.2),
libncurses5-dev
Build-Depends-Indep: ghc-doc,
libghc-binary-doc,
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..ea94267
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+support-alex-3.1
diff --git a/debian/patches/support-alex-3.1 b/debian/patches/support-alex-3.1
new file mode 100644
index 0000000..4ec74b8
--- /dev/null
+++ b/debian/patches/support-alex-3.1
@@ -0,0 +1,15 @@
+Wed Sep 18 23:17:08 BST 2013 Andr�s Sicard-Ram�rez <andres.sicard.ramirez at gmail.com>
+ * Support for Alex 3.1.*.
+Index: b/Agda.cabal
+===================================================================
+--- a/Agda.cabal
++++ b/Agda.cabal
+@@ -98,7 +98,7 @@
+ directory == 1.2.*
+
+ build-tools: happy >= 1.15 && < 2,
+- alex >= 2.3.1 && < 3.1
++ alex >= 2.3.1 && < 3.2
+ extensions: CPP
+ exposed-modules: Agda.Main
+ Agda.ImpossibleTest
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/agda.git
More information about the Pkg-haskell-commits
mailing list