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

[Iain Lane]

The following commit has been merged in the master branch:
commit 0c7f8275600b238a537e1de8b944e9dcd75a500b
Author: Iain Lane <laney at debian.org>
Date:   Wed Nov 23 13:54:47 2011 +0000

    Update & finalise changelog
    
    Git-Dch: Ignore

diff --git a/debian/changelog b/debian/changelog
index e996cc2..21c3cb6 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,19 @@
+agda (2.3.0-1) unstable; urgency=low
+
+  * [c0e4746] Imported Upstream version 2.3.0. New/changed features include:
+    + New more liberal syntax for mutually recursive definitions
+    + Pattern matching on lambdas
+    + New syntax for updating (some fields of) records
+    + Universe polymorphism is now enabled by default
+    + New type of hidden function argument: instance arguments
+    + Dependent irrelevant function types and records with irrelevant fields
+    + See http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-0
+      for a full list
+  * [369ed3a] Update BDs in line with cabal requirements in new upstream
+  * [3798aee] Remove all patches. They are all now upstream.
+
+ -- Iain Lane <laney at debian.org>  Wed, 23 Nov 2011 10:12:59 +0000
+
 agda (2.2.10-4) unstable; urgency=low
 
   * [16d953e] Remove old left-around patches

-- 
Packaging for Agda