[DHG_packages] 01/01: agda: bump ieee754 bounds.

[Gianfranco Costamagna]

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

locutusofborg pushed a commit to branch master
in repository DHG_packages.

commit d2584fea5f6a9800b084b0d2de5915a70a15255f
Author: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
Date:   Mon Jul 10 12:58:56 2017 +0200

    agda: bump ieee754 bounds.
---
 p/agda/debian/changelog                         |  7 +++++++
 p/agda/debian/control                           |  2 +-
 p/agda/debian/patches/bump-ieee754-bounds.patch | 11 +++++++++++
 p/agda/debian/patches/series                    |  1 +
 4 files changed, 20 insertions(+), 1 deletion(-)

diff --git a/p/agda/debian/changelog b/p/agda/debian/changelog
index e8be784..26899ef 100644
--- a/p/agda/debian/changelog
+++ b/p/agda/debian/changelog
@@ -1,3 +1,10 @@
+agda (2.5.2-2) unstable; urgency=medium
+
+  * Team upload.
+  * Bump ieee754 bounds.
+
+ -- Gianfranco Costamagna <locutusofborg at debian.org>  Mon, 10 Jul 2017 12:54:36 +0200
+
 agda (2.5.2-1) unstable; urgency=medium
 
   * New upstream release
diff --git a/p/agda/debian/control b/p/agda/debian/control
index d933ac4..41c4014 100644
--- a/p/agda/debian/control
+++ b/p/agda/debian/control
@@ -33,7 +33,7 @@ Build-Depends:
  libghc-hashable-dev (<< 1.3),
  libghc-hashable-dev (>= 1.2.1.0),
  libghc-hashtables-dev,
- libghc-ieee754-dev (<< 0.8),
+ libghc-ieee754-dev (<< 0.9),
  libghc-ieee754-dev (>= 0.7.8),
  libghc-monadplus-dev (<< 1.5),
  libghc-monadplus-dev (>= 1.4),
diff --git a/p/agda/debian/patches/bump-ieee754-bounds.patch b/p/agda/debian/patches/bump-ieee754-bounds.patch
new file mode 100644
index 0000000..ebe0621
--- /dev/null
+++ b/p/agda/debian/patches/bump-ieee754-bounds.patch
@@ -0,0 +1,11 @@
+--- agda-2.5.2.orig/Agda.cabal
++++ agda-2.5.2/Agda.cabal
+@@ -160,7 +160,7 @@ library
+                 -- some cases.
+                 , hashtables >= 1.0.1.8 && < 1.2 || >= 1.2.0.2 && < 1.3
+                 , haskeline >= 0.7.1.3 && < 0.8
+-                , ieee754 >= 0.7.8 && < 0.8
++                , ieee754 >= 0.7.8 && < 0.9
+                 , monadplus >= 1.4 && < 1.5
+                 -- mtl-2.1 contains a severe bug.
+                 --
diff --git a/p/agda/debian/patches/series b/p/agda/debian/patches/series
new file mode 100644
index 0000000..89acf6d
--- /dev/null
+++ b/p/agda/debian/patches/series
@@ -0,0 +1 @@
+bump-ieee754-bounds.patch

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