[Pkg-haskell-commits] [agda] 01/02: Fix dependency on hashtables
Joachim Breitner
nomeata at moszumanska.debian.org
Wed Jul 1 17:51:28 UTC 2015
This is an automated email from the git hooks/post-receive script.
nomeata pushed a commit to branch master
in repository agda.
commit a4109c2c88ab582bbc3141cd9a87373c3509c97b
Author: Joachim Breitner <nomeata at debian.org>
Date: Wed Jul 1 19:26:20 2015 +0200
Fix dependency on hashtables
---
Agda.cabal | 3 ++-
debian/changelog | 6 ++++++
debian/control | 4 ++--
debian/patches/hashtables-dep | 37 +++++++++++++++++++++++++++++++++++++
debian/patches/series | 1 +
5 files changed, 48 insertions(+), 3 deletions(-)
diff --git a/Agda.cabal b/Agda.cabal
index 56c6023..47c0db6 100644
--- a/Agda.cabal
+++ b/Agda.cabal
@@ -98,7 +98,8 @@ library
-- fixed in hashable 1.2.1.0.
-- https://github.com/tibbe/hashable/issues/57.
, hashable >= 1.1.2.3 && < 1.2 || >= 1.2.1.0 && < 1.3
- , hashtables >= 1.0 && < 1.2
+ -- http://hackage.haskell.org/package/Agda-2.4.2.2/revisions/
+ , hashtables >=1.0 && <1.2 || >=1.2.0.2 && <1.3
, haskeline >= 0.7 && < 0.8
, haskell-src-exts >= 1.9.6 && < 1.17
-- mtl-2.1 contains a severe bug.
diff --git a/debian/changelog b/debian/changelog
index af0a0f0..7f02ffa 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+agda (2.4.2.2-3) UNRELEASED; urgency=medium
+
+ * Fix dependency on hashtables
+
+ -- Joachim Breitner <nomeata at debian.org> Wed, 01 Jul 2015 19:26:08 +0200
+
agda (2.4.2.2-2) unstable; urgency=medium
* [d5cf60f] Depend on ${shlibs:Depends}, to get libc (& maybe other) deps
diff --git a/debian/control b/debian/control
index 2f617bd..0459eaf 100644
--- a/debian/control
+++ b/debian/control
@@ -18,8 +18,8 @@ Build-Depends: debhelper (>= 9),
libghc-geniplate-dev (<< 0.7),
libghc-hashable-dev (>= 1.2.1.0),
libghc-hashable-dev (<< 1.3),
- libghc-hashtables-dev (>= 1.0),
- libghc-hashtables-dev (<< 1.2),
+ libghc-hashtables-dev (>= 1.2.0.2),
+ libghc-hashtables-dev (<< 1.3),
libghc-mtl-dev (>= 2.1.1),
libghc-mtl-dev (<< 2.1.3.2),
libghc-parallel-dev (<< 3.3),
diff --git a/debian/patches/hashtables-dep b/debian/patches/hashtables-dep
new file mode 100644
index 0000000..df8711b
--- /dev/null
+++ b/debian/patches/hashtables-dep
@@ -0,0 +1,37 @@
+Description: <short summary of the patch>
+ TODO: Put a short summary on the line above and replace this paragraph
+ with a longer explanation of this change. Complete the meta-information
+ with other relevant fields (see below for details). To make it easier, the
+ information below has been extracted from the changelog. Adjust it or drop
+ it.
+ .
+ agda (2.4.2.2-3) unstable; urgency=medium
+ .
+ * Fix dependency on hashtables
+Author: Joachim Breitner <nomeata at debian.org>
+
+---
+The information above should follow the Patch Tagging Guidelines, please
+checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
+are templates for supplementary fields that you might want to add:
+
+Origin: <vendor|upstream|other>, <url of original patch>
+Bug: <url in upstream bugtracker>
+Bug-Debian: https://bugs.debian.org/<bugnumber>
+Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
+Forwarded: <no|not-needed|url proving that it has been forwarded>
+Reviewed-By: <name and email of someone who approved the patch>
+Last-Update: <YYYY-MM-DD>
+
+--- agda-2.4.2.2.orig/Agda.cabal
++++ agda-2.4.2.2/Agda.cabal
+@@ -98,7 +98,8 @@ library
+ -- fixed in hashable 1.2.1.0.
+ -- https://github.com/tibbe/hashable/issues/57.
+ , hashable >= 1.1.2.3 && < 1.2 || >= 1.2.1.0 && < 1.3
+- , hashtables >= 1.0 && < 1.2
++ -- http://hackage.haskell.org/package/Agda-2.4.2.2/revisions/
++ , hashtables >=1.0 && <1.2 || >=1.2.0.2 && <1.3
+ , haskeline >= 0.7 && < 0.8
+ , haskell-src-exts >= 1.9.6 && < 1.17
+ -- mtl-2.1 contains a severe bug.
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..62c828c
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+hashtables-dep
--
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