[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master, updated. debian/2.3.0.1-1-2-g7cf34a8

[Joachim Breitner]

The following commit has been merged in the master branch:
commit 7cf34a8ea32d1fa6c510f49b38529672a6f366d4
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Fri May 25 23:08:57 2012 +0200

    releasing version 2.3.0.1-2

diff --git a/debian/changelog b/debian/changelog
index d356bbc..8070c6e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,8 @@
-agda (2.3.0.1-2) UNRELEASED; urgency=low
+agda (2.3.0.1-2) unstable; urgency=low
 
   * New patch: Extend mtl dependency 
 
- -- Joachim Breitner <nomeata at debian.org>  Fri, 25 May 2012 22:56:55 +0200
+ -- Joachim Breitner <nomeata at debian.org>  Fri, 25 May 2012 22:58:34 +0200
 
 agda (2.3.0.1-1) unstable; urgency=low
 

-- 
Packaging for Agda