[DHG_packages] 01/01: Agda: patch to build with newer EdisonAPI

[Clint Adams]

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

clint pushed a commit to branch experimental
in repository DHG_packages.

commit 41ea73ed2c2aff3cbec02768fee68bf9dfa723ef
Author: Clint Adams <clint at debian.org>
Date:   Thu Oct 20 10:24:09 2016 -0400

    Agda: patch to build with newer EdisonAPI
---
 p/agda/debian/changelog                |  6 ++++++
 p/agda/debian/patches/newer-edison-api | 11 +++++++++++
 p/agda/debian/patches/series           |  1 +
 3 files changed, 18 insertions(+)

diff --git a/p/agda/debian/changelog b/p/agda/debian/changelog
index 8ef44c4..e847d9d 100644
--- a/p/agda/debian/changelog
+++ b/p/agda/debian/changelog
@@ -1,3 +1,9 @@
+agda (2.5.1.1-2) experimental; urgency=medium
+
+  * Patch to build with newer EdisonAPI.
+
+ -- Clint Adams <clint at debian.org>  Thu, 20 Oct 2016 10:23:45 -0400
+
 agda (2.5.1.1-1) experimental; urgency=medium
 
   * New upstream version.
diff --git a/p/agda/debian/patches/newer-edison-api b/p/agda/debian/patches/newer-edison-api
new file mode 100644
index 0000000..83b243d
--- /dev/null
+++ b/p/agda/debian/patches/newer-edison-api
@@ -0,0 +1,11 @@
+--- a/Agda.cabal
++++ b/Agda.cabal
+@@ -125,7 +125,7 @@
+     -- Edison versioning scheme: http://rwd.rdockins.name/edison/home/.
+     -- EdisonAPI isn't used by Agda, but EdisonCore 1.3.1 doesn't
+     -- declare what version of EdisonAPI it depends on.
+-    , EdisonAPI == 1.3
++    , EdisonAPI >= 1.3 && < 1.4
+     , EdisonCore >= 1.3.1.1 && < 1.3.2
+     , edit-distance >= 0.2.1.2 && < 0.3
+     , equivalence >= 0.2.5 && < 0.4
diff --git a/p/agda/debian/patches/series b/p/agda/debian/patches/series
index db9c3ae..046950e 100644
--- a/p/agda/debian/patches/series
+++ b/p/agda/debian/patches/series
@@ -1 +1,2 @@
 add-elpa-pkg-el-file.patch
+newer-edison-api

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