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

[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 754205db92db95d3510db47121f4b4ef6046a86f
Author: Sean Whitton <spwhitton at spwhitton.name>
Date:   Sun Jun 12 17:34:25 2016 +0900

    agda: release 2.5.1-1
---
 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 32eae88..df98f33 100644
--- a/p/agda/debian/changelog
+++ b/p/agda/debian/changelog
@@ -1,4 +1,4 @@
-agda (2.5.1-1) UNRELEASED; urgency=medium
+agda (2.5.1-1) unstable; urgency=medium
 
   * Package new upstream version.
     - Build dependency bounds updated to match Agda.cabal.
@@ -24,7 +24,7 @@ agda (2.5.1-1) UNRELEASED; urgency=medium
   * Run wrap-and-sort -abst
   * Bump standards version to 3.9.8 (no changes required).
 
- -- Sean Whitton <spwhitton at spwhitton.name>  Wed, 08 Jun 2016 20:58:23 +0900
+ -- Sean Whitton <spwhitton at spwhitton.name>  Sun, 12 Jun 2016 17:34:08 +0900
 
 agda (2.4.2.5-1) unstable; urgency=medium
 

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