[Pkg-ocaml-maint-commits] [SCM] matita packaging branch, master, updated. debian/0.5.8-2-9-g932c23c

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 932c23c6b9eb3ae0d63dd200b77d1fa8d529ce8d
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue May 31 11:17:31 2011 +0200

    Update changelog and prepare upload to unstable

diff --git a/debian/changelog b/debian/changelog
index 212a2ed..06904aa 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,12 +1,16 @@
-matita (0.5.8-3) UNRELEASED; urgency=low
-
-  [ Enrico Tassi ]
-  * NOT RELEASED YET
+matita (0.5.8-3) unstable; urgency=low
 
   [ Stéphane Glondu ]
+  * Team upload
   * Switch packaging to git
+  * Switch source package format to 3.0 (quilt)
+  * Remove Stefano from Uploaders
+
+  [ Colin Watson ]
+  * Apply r11210 from upstream SVN to account for changes in the
+    signatures of Gramext.Slist0sep and Gramext.Slist1sep (Closes: #612891)
 
- -- Stéphane Glondu <glondu at debian.org>  Fri, 11 Feb 2011 11:40:43 +0100
+ -- Stéphane Glondu <glondu at debian.org>  Tue, 31 May 2011 11:17:47 +0200
 
 matita (0.5.8-2) unstable; urgency=low
 

-- 
matita packaging