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

[Kiwamu Okabe]

The following commit has been merged in the master branch:
commit 1ac0743303148320949aee58a103417c65c57cf5
Author: Kiwamu Okabe <kiwamu at debian.or.jp>
Date:   Sat Sep 8 20:50:00 2012 +0900

    bump up debian version

diff --git a/debian/changelog b/debian/changelog
index 8070c6e..96418af 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+agda (2.3.0.1-3) UNRELEASED; urgency=low
+
+  * New patch: Extend haskell-src-exts dependency and fix type miss.
+
+ -- Kiwamu Okabe <kiwamu at debian.or.jp>  Sat, 08 Sep 2012 20:31:25 +0900
+
 agda (2.3.0.1-2) unstable; urgency=low
 
   * New patch: Extend mtl dependency 

-- 
Packaging for Agda