[DHG_packages] 02/02: agda: update to new release, bump compat level to 10 and std-version to 4.0.0
Gianfranco Costamagna
locutusofborg at moszumanska.debian.org
Thu Jul 6 09:36:07 UTC 2017
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
More information about the Pkg-haskell-commits
mailing list