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

[Iain Lane]

The following commit has been merged in the master branch:
commit 89424e353968296408c618babeafc36f86f1382c
Author: Iain Lane <laney at debian.org>
Date:   Wed Apr 10 11:55:09 2013 +0100

    Update & finalise changelog
    
    Git-Dch: Ignore

diff --git a/debian/changelog b/debian/changelog
index 96418af..7feeca0 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,21 @@
-agda (2.3.0.1-3) UNRELEASED; urgency=low
+agda (2.3.2-1) experimental; urgency=low
 
+  [ Kiwamu Okabe ]
   * 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
+  [ Iain Lane ]
+  * [dfbca48] Imported Upstream version 2.3.2
+  * [7746bcc] Remove all patches — all upstream.
+  * [2cdb691] Update build-deps to match control file
+  * [868ebf4] agda-mode no longer depends on haskell-mode or GHCi.
+    Remove dependency and update .el file accordingly
+  * [9e0ba22] Add agda-bin package here, as the separate package has been
+    removed
+  * [75a240f] agda-mode needs to depend on agda-bin
+  * [d290f95] Allow Quickcheck up to 2.7. Fix haskeline build-dep.
+  * [79190e6] Add missing geniplate and parallel BDs
+
+ -- Iain Lane <laney at debian.org>  Wed, 10 Apr 2013 11:46:43 +0100
 
 agda (2.3.0.1-2) unstable; urgency=low
 

-- 
Packaging for Agda