[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.2+dfsg-6-11-g3520703

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 3520703ac99f20eb5decadbcd0d062d5f0153699
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Mar 15 08:50:17 2011 +0100

    Update changelog and prepare upload to experimental

diff --git a/debian/changelog b/debian/changelog
index c72d4b8..c4cc7b2 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,14 @@
-ssreflect (1.3-1) UNRELEASED; urgency=low
+ssreflect (1.3-1) experimental; urgency=low
 
-  * New upstream release
+  * New upstream release, compatible with Coq 8.3:
+    - remove 0001-Build-as-a-plugin.patch
+    - add 0001-Fix-tests-Make.patch
+    - this version is under CeCILL-B only; update debian/copyright
+      accordingly
+  * Bump Standards-Version to 3.9.1 (no changes)
+  * Update debian/watch
 
- -- Stéphane Glondu <glondu at debian.org>  Wed, 09 Mar 2011 20:53:02 +0100
+ -- Stéphane Glondu <glondu at debian.org>  Tue, 15 Mar 2011 08:47:47 +0100
 
 ssreflect (1.2+dfsg-7) unstable; urgency=low
 

-- 
ssreflect packaging