diff options
| author | Clint Adams <clint@debian.org> | 2016-10-13 14:03:46 -0400 |
|---|---|---|
| committer | Clint Adams <clint@debian.org> | 2016-10-13 14:03:46 -0400 |
| commit | b50bf19680c60427f70ef3a2e0a3e38e3e0aa0d0 (patch) | |
| tree | db272b1a5e4db42b5cfc3ae770e1c5de21fbc422 /p/happy | |
| parent | a879e5a31da27ae56bfeea8dc6239a2522077136 (diff) | |
| download | DHG_packages-b50bf19680c60427f70ef3a2e0a3e38e3e0aa0d0.tar.gz | |
happy: build with ghc 8 in experimental
Diffstat (limited to 'p/happy')
| -rw-r--r-- | p/happy/debian/changelog | 8 | ||||
| -rw-r--r-- | p/happy/debian/control | 4 |
2 files changed, 6 insertions, 6 deletions
diff --git a/p/happy/debian/changelog b/p/happy/debian/changelog index 97ae9b862..a3c97a341 100644 --- a/p/happy/debian/changelog +++ b/p/happy/debian/changelog @@ -1,14 +1,14 @@ -happy (1.19.5-6) UNRELEASED; urgency=medium +happy (1.19.5-6) experimental; urgency=medium [ Dmitry Bogatov ] * Use secure (https) uri in Vcs-Git field in 'debian/control' * Bump standards version to 3.9.8 (no changes needed) * Convert 'debian/copyright' to dep5 format - [ Gianfranco Costamagna ] - * Fix VCS fields + [ Clint Adams ] + * Temporarily build-depend on ghc 8. - -- Dmitry Bogatov <KAction@gnu.org> Tue, 10 May 2016 09:34:43 +0300 + -- Clint Adams <clint@debian.org> Thu, 13 Oct 2016 14:03:29 -0400 happy (1.19.5-5) unstable; urgency=medium diff --git a/p/happy/debian/control b/p/happy/debian/control index 4d285d4d7..531e882de 100644 --- a/p/happy/debian/control +++ b/p/happy/debian/control @@ -10,7 +10,7 @@ Build-Depends: cdbs (>= 0.4.59), dpkg-dev (>= 1.17.14), autoconf, docbook-utils, - ghc (>= 7.10), + ghc (>= 8), docbook-xsl, docbook-xml, xsltproc, @@ -18,7 +18,7 @@ Build-Depends: cdbs (>= 0.4.59), happy <!stage1> Homepage: http://www.haskell.org/happy Vcs-Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git -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/happy Package: happy |