[DHG_packages] 01/01: agda: release 2.5.1-2

[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 fe200e654eb10a778cc2c80089d985c478513910
Author: Sean Whitton <spwhitton at spwhitton.name>
Date:   Mon Jun 20 17:34:55 2016 +0900

    agda: release 2.5.1-2
---
 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 757c6c3..ec4dded 100644
--- a/p/agda/debian/changelog
+++ b/p/agda/debian/changelog
@@ -1,4 +1,4 @@
-agda (2.5.1-2) UNRELEASED; urgency=low
+agda (2.5.1-2) unstable; urgency=low
 
   * Add --ghc-options="-optc--param -optcggc-min-expand=10" to GHC
     configure args in an attempt to fix FTBFS on arm buildds.
@@ -6,7 +6,7 @@ agda (2.5.1-2) UNRELEASED; urgency=low
   * Set Priority: extra and Section: oldlibs on agda-mode transitional package.
   * Add missing continuation marker in d/copyright.
 
- -- Sean Whitton <spwhitton at spwhitton.name>  Mon, 20 Jun 2016 16:47:33 +0900
+ -- Sean Whitton <spwhitton at spwhitton.name>  Mon, 20 Jun 2016 17:34:46 +0900
 
 agda (2.5.1-1) unstable; urgency=medium
 

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