diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2018-11-23 17:38:56 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2018-11-23 17:38:56 -0700 |
| commit | 83173f56b60cbafa8c3308cc9d3da8c7d1d839c3 (patch) | |
| tree | b1ed90117ff097193e292982a4788d089534ee48 | |
| parent | df9d55c371e4d28d990026dfe5cf7ecdaa9c4a5f (diff) | |
bump dep bounds
| -rw-r--r-- | debian/changelog | 3 | ||||
| -rw-r--r-- | debian/control | 12 |
2 files changed, 9 insertions, 6 deletions
diff --git a/debian/changelog b/debian/changelog index 4a011aa..77b5433 100644 --- a/debian/changelog +++ b/debian/changelog @@ -2,6 +2,9 @@ agda-stdlib (0.17-1) UNRELEASED; urgency=medium * Team upload. * New upstream release. + - Bump dep bounds on agda-bin & libghc-agda-dev. + Require 2.5.4.1 per upstream changelog. + Assume, for now, that agda-stdlib will break with 2.5.5. * Drop spurious period from end of Standards-Version field. -- Sean Whitton <spwhitton@spwhitton.name> Fri, 23 Nov 2018 17:30:00 -0700 diff --git a/debian/control b/debian/control index 73de662..7c58bb9 100644 --- a/debian/control +++ b/debian/control @@ -4,10 +4,10 @@ Section: libs Maintainer: Iain Lane <laney@debian.org> Uploaders: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Build-Depends: debhelper (>= 10), - agda-bin (>= 2.5.3), - agda-bin (<< 2.5.4~), - libghc-agda-dev (>= 2.5.3), - libghc-agda-dev (<< 2.5.4~), + agda-bin (>= 2.5.4.1), + agda-bin (<< 2.5.5~), + libghc-agda-dev (>= 2.5.4.1), + libghc-agda-dev (<< 2.5.5~), libghc-filemanip-dev Standards-Version: 4.1.1 Vcs-Browser: https://anonscm.debian.org/cgit/collab-maint/agda-stdlib.git @@ -17,8 +17,8 @@ Homepage: http://wiki.portal.chalmers.se/agda/ Package: agda-stdlib Architecture: all Depends: ${misc:Depends}, - libghc-agda-dev (>= 2.5.3), - libghc-agda-dev (<< 2.5.4~) + libghc-agda-dev (>= 2.5.4.1), + libghc-agda-dev (<< 2.5.5~) Breaks: agda-bin (<< 2.5.3) Enhances: elpa-agda2-mode Description: standard library for Agda |