[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master, updated. debian/2.3.2-4-5-g128de0e

[Iain Lane]

The following commit has been merged in the master branch:
commit 128de0e534967551681e6bc68869d36c40598a6f
Author: Iain Lane <laney at debian.org>
Date:   Sun Jun 16 13:14:50 2013 +0100

    Update & finalise changelog
    
    Git-Dch: Ignore

diff --git a/debian/changelog b/debian/changelog
index a8f1bbe..957c36b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+agda (2.3.2.1-1) unstable; urgency=low
+
+  * [8cfbabf] Imported Upstream version 2.3.2.1
+  * [74f34b0] Bump BD on mtl per .cabal file
+  * [a3bff17] Drop Debian patches now obsoleted by this upstream release
+
+ -- Iain Lane <laney at debian.org>  Sun, 16 Jun 2013 13:14:47 +0100
+
 agda (2.3.2-4) unstable; urgency=low
 
   * [3d77fff] Build-Depend on ghc-ghci; we require this due to Template

-- 
Packaging for Agda