Commit d9ab9cc5 authored by Gianfranco Costamagna's avatar Gianfranco Costamagna

agda: update to new release, bump compat level to 10 and std-version to 4.0.0

parent b5562494
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@debian.org> Thu, 06 Jul 2017 09:59:52 +0200
agda (2.5.1.1-4) unstable; urgency=medium
[ Sean Whitton ]
......
......@@ -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
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment