[DHG_packages] 01/01: agda: changelog tweak

[Sean Whitton]

This is an automated email from the git hooks/post-receive script.

spw-guest pushed a commit to branch master
in repository DHG_packages.

commit 561a36e23d3ecba3e97440d74e33a8ea51f47ab4
Author: Sean Whitton <spwhitton at spwhitton.name>
Date:   Mon Jun 20 17:06:27 2016 +0900

    agda: changelog tweak
---
 p/agda/debian/changelog | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/p/agda/debian/changelog b/p/agda/debian/changelog
index 213e9b3..757c6c3 100644
--- a/p/agda/debian/changelog
+++ b/p/agda/debian/changelog
@@ -1,6 +1,6 @@
-agda (2.5.1-2) UNRELEASED; urgency=medium
+agda (2.5.1-2) UNRELEASED; urgency=low
 
-  * Add `--ghc-options="-optc--param -optcggc-min-expand=10"` to GHC
+  * Add --ghc-options="-optc--param -optcggc-min-expand=10" to GHC
     configure args in an attempt to fix FTBFS on arm buildds.
     As suggested by Joachim Breitner.
   * Set Priority: extra and Section: oldlibs on agda-mode transitional package.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/DHG_packages.git