diff options
| author | Clint Adams <clint@debian.org> | 2016-10-16 14:18:59 -0400 |
|---|---|---|
| committer | Clint Adams <clint@debian.org> | 2016-10-16 14:18:59 -0400 |
| commit | 7ada28b34a1a11f99273551082dd199c82c7973d (patch) | |
| tree | b531b4b9679a42ffac4ff41d1085cd92d12914ad /p/haskell-presburger | |
| parent | 962934736728dba479cc1b43dde2972645fb2eb4 (diff) | |
| download | DHG_packages-7ada28b34a1a11f99273551082dd199c82c7973d.tar.gz | |
presburger: build with ghc 8 in experimental
Diffstat (limited to 'p/haskell-presburger')
| -rw-r--r-- | p/haskell-presburger/debian/changelog | 8 | ||||
| -rw-r--r-- | p/haskell-presburger/debian/control | 57 |
2 files changed, 41 insertions, 24 deletions
diff --git a/p/haskell-presburger/debian/changelog b/p/haskell-presburger/debian/changelog index c193d0fc6..b265a680b 100644 --- a/p/haskell-presburger/debian/changelog +++ b/p/haskell-presburger/debian/changelog @@ -1,12 +1,12 @@ -haskell-presburger (1.3.1-2) UNRELEASED; urgency=medium +haskell-presburger (1.3.1-2) experimental; urgency=medium [ Dmitry Bogatov ] * Bump standards version to 3.9.8 (no changes needed) - [ Gianfranco Costamagna ] - * Fix VCS-* fields + [ Clint Adams ] + * Temporarily build-depend on ghc 8. - -- Dmitry Bogatov <KAction@gnu.org> Tue, 10 May 2016 10:34:47 +0300 + -- Clint Adams <clint@debian.org> Sun, 16 Oct 2016 14:18:45 -0400 haskell-presburger (1.3.1-1) unstable; urgency=low diff --git a/p/haskell-presburger/debian/control b/p/haskell-presburger/debian/control index b49a52294..a70264439 100644 --- a/p/haskell-presburger/debian/control +++ b/p/haskell-presburger/debian/control @@ -1,18 +1,21 @@ Source: haskell-presburger Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> -Uploaders: Clint Adams <clint@debian.org> +Uploaders: + Clint Adams <clint@debian.org>, Priority: extra Section: haskell -Build-Depends: debhelper (>= 9), - haskell-devscripts (>= 0.9), +Build-Depends: cdbs, - ghc, + debhelper (>= 9), + ghc (>= 8), ghc-prof, + haskell-devscripts (>= 0.9), libghc-quickcheck2-dev, -Build-Depends-Indep: ghc-doc, +Build-Depends-Indep: + ghc-doc, Standards-Version: 3.9.8 Homepage: http://github.com/yav/presburger -Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/ +Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-presburger Vcs-Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git X-Description: decision procedure for quantifier-free linear arithmetic The decision procedure is based on the algorithm used in @@ -20,13 +23,18 @@ X-Description: decision procedure for quantifier-free linear arithmetic Package: libghc-presburger-dev Architecture: any -Depends: ${haskell:Depends}, +Depends: + ${haskell:Depends}, ${misc:Depends}, ${shlibs:Depends}, -Recommends: ${haskell:Recommends}, -Suggests: ${haskell:Suggests}, -Conflicts: ${haskell:Conflicts}, -Provides: ${haskell:Provides}, +Recommends: + ${haskell:Recommends}, +Suggests: + ${haskell:Suggests}, +Conflicts: + ${haskell:Conflicts}, +Provides: + ${haskell:Provides}, Description: ${haskell:ShortDescription}${haskell:ShortBlurb} ${haskell:LongDescription} . @@ -34,12 +42,17 @@ Description: ${haskell:ShortDescription}${haskell:ShortBlurb} Package: libghc-presburger-prof Architecture: any -Depends: ${haskell:Depends}, +Depends: + ${haskell:Depends}, ${misc:Depends}, -Recommends: ${haskell:Recommends}, -Suggests: ${haskell:Suggests}, -Conflicts: ${haskell:Conflicts}, -Provides: ${haskell:Provides}, +Recommends: + ${haskell:Recommends}, +Suggests: + ${haskell:Suggests}, +Conflicts: + ${haskell:Conflicts}, +Provides: + ${haskell:Provides}, Description: ${haskell:ShortDescription}${haskell:ShortBlurb} ${haskell:LongDescription} . @@ -48,11 +61,15 @@ Description: ${haskell:ShortDescription}${haskell:ShortBlurb} Package: libghc-presburger-doc Architecture: all Section: doc -Depends: ${haskell:Depends}, +Depends: + ${haskell:Depends}, ${misc:Depends}, -Recommends: ${haskell:Recommends}, -Suggests: ${haskell:Suggests}, -Conflicts: ${haskell:Conflicts}, +Recommends: + ${haskell:Recommends}, +Suggests: + ${haskell:Suggests}, +Conflicts: + ${haskell:Conflicts}, Description: ${haskell:ShortDescription}${haskell:ShortBlurb} ${haskell:LongDescription} . |
