[Pkg-haskell-commits] [agda] 04/10: New upstream release

[Iain Lane]

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

laney pushed a commit to branch master
in repository agda.

commit 8142b709de08a8d450f814974c38d1b7d26b66c9
Author: Iain Lane <laney at debian.org>
Date:   Wed May 20 11:03:14 2015 +0100

    New upstream release
---
 debian/changelog | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index dae9f30..2516d54 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+agda (2.4.2.2-1) UNRELEASED; urgency=medium
+
+  * New upstream release.
+
+ -- Iain Lane <laney at debian.org>  Wed, 20 May 2015 11:02:33 +0100
+
 agda (2.4.2-1) unstable; urgency=medium
 
   * [6770868] Imported Upstream version 2.4.2

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