[DHG_packages] 02/02: agda: update to new release, bump compat level to 10 and std-version to 4.0.0

[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 d9ab9cc5d37b963af65203fccd3f11944013bd02
Author: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
Date:   Thu Jul 6 11:30:01 2017 +0200

    agda: update to new release, bump compat level to 10 and std-version to 4.0.0
---
 p/agda/debian/changelog | 11 +++++++++++
 p/agda/debian/compat    |  2 +-
 p/agda/debian/control   | 27 +++++++++++++++------------
 3 files changed, 27 insertions(+), 13 deletions(-)

diff --git a/p/agda/debian/changelog b/p/agda/debian/changelog
index 8c0ca97..e8be784 100644
--- a/p/agda/debian/changelog
+++ b/p/agda/debian/changelog
@@ -1,3 +1,14 @@
+agda (2.5.2-1) unstable; urgency=medium
+
+  * New upstream release
+  * Team upload
+  * Drop all patches, upstream
+  * Bump std-version to 4.0.0
+  * Bump compat level to 10
+  * Update build dependencies
+
+ -- Gianfranco Costamagna <locutusofborg at debian.org>  Thu, 06 Jul 2017 09:59:52 +0200
+
 agda (2.5.1.1-4) unstable; urgency=medium
 
   [ Sean Whitton ]
diff --git a/p/agda/debian/compat b/p/agda/debian/compat
index ec63514..f599e28 100644
--- a/p/agda/debian/compat
+++ b/p/agda/debian/compat
@@ -1 +1 @@
-9
+10
diff --git a/p/agda/debian/control b/p/agda/debian/control
index 45a8e0c..d933ac4 100644
--- a/p/agda/debian/control
+++ b/p/agda/debian/control
@@ -8,8 +8,8 @@ Section: haskell
 Build-Depends:
  alex,
  cdbs,
- cpphs (>= 1.19),
- debhelper (>= 9),
+ cpphs (>= 1.20.2),
+ debhelper (>= 10),
  dh-elpa,
  ghc (>= 8),
  happy,
@@ -18,8 +18,6 @@ Build-Depends:
  libghc-boxes-dev (>= 0.1.3),
  libghc-data-hash-dev (<< 0.3),
  libghc-data-hash-dev (>= 0.2.0.0),
- libghc-edison-api-dev (<< 1.4),
- libghc-edison-api-dev (>= 1.3),
  libghc-edison-core-dev (<< 1.3.2),
  libghc-edison-core-dev (>= 1.3.1.1),
  libghc-edit-distance-dev (<< 0.3),
@@ -30,18 +28,22 @@ Build-Depends:
  libghc-filemanip-dev (>= 0.3.6.3),
  libghc-geniplate-mirror-dev (<< 0.8),
  libghc-geniplate-mirror-dev (>= 0.6.0.6),
+ libghc-gitrev-dev (<< 2.0),
+ libghc-gitrev-dev (>= 1.2),
  libghc-hashable-dev (<< 1.3),
  libghc-hashable-dev (>= 1.2.1.0),
  libghc-hashtables-dev,
+ libghc-ieee754-dev (<< 0.8),
+ libghc-ieee754-dev (>= 0.7.8),
  libghc-monadplus-dev (<< 1.5),
  libghc-monadplus-dev (>= 1.4),
+ libghc-murmur-hash-dev (<< 0.2),
+ libghc-murmur-hash-dev (>= 0.1),
  libghc-mtl-dev,
  libghc-parallel-dev (<< 3.3),
  libghc-parallel-dev (>= 3.2.0.4),
- libghc-quickcheck2-dev (<< 2.9),
- libghc-quickcheck2-dev (>= 2.8.2),
- libghc-src-exts-dev (<< 1.18),
- libghc-src-exts-dev (>= 1.16.0.1),
+ libghc-regex-tdfa-dev (<< 1.3),
+ libghc-regex-tdfa-dev (>= 1.2.2),
  libghc-strict-dev (<< 0.4),
  libghc-strict-dev (>= 0.3.2),
  libghc-transformers-compat-dev (<< 0.6),
@@ -56,24 +58,25 @@ Build-Depends-Indep:
  ghc-doc,
  libghc-boxes-doc,
  libghc-data-hash-doc,
- libghc-edison-api-doc,
  libghc-edison-core-doc,
  libghc-edit-distance-doc,
  libghc-equivalence-doc,
  libghc-geniplate-mirror-doc,
+ libghc-gitrev-doc,
  libghc-hashable-doc,
  libghc-hashtables-doc,
+ libghc-ieee754-doc,
  libghc-monadplus-doc,
  libghc-mtl-doc,
+ libghc-murmur-hash-doc,
  libghc-parallel-doc,
- libghc-quickcheck2-doc,
- libghc-src-exts-doc,
+ libghc-regex-tdfa-doc,
  libghc-strict-doc,
  libghc-transformers-compat-doc,
  libghc-transformers-doc,
  libghc-unordered-containers-doc,
  libghc-zlib-doc,
-Standards-Version: 3.9.8
+Standards-Version: 4.0.0
 Homepage: http://wiki.portal.chalmers.se/agda/
 Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/agda
 Vcs-Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git

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