[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.pl1+dfsg-3-3-g736c682

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 736c6823969a86dbe94460b3db6a3d61c541d270
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Dec 3 11:55:12 2009 +0100

    Prepare upload to unstable

diff --git a/debian/changelog b/debian/changelog
index 1176548..f53942e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-coq (8.2.pl1+dfsg-4) UNRELEASED; urgency=low
+coq (8.2.pl1+dfsg-4) unstable; urgency=low
 
   [ Stefano Zacchiroli ]
   * debian/control: fix typo in long description (Closes: #557458)
@@ -6,7 +6,7 @@ coq (8.2.pl1+dfsg-4) UNRELEASED; urgency=low
   [ Stéphane Glondu ]
   * Switch to dh-ocaml 0.9
 
- -- Stéphane Glondu <glondu at debian.org>  Thu, 03 Dec 2009 11:21:27 +0100
+ -- Stéphane Glondu <glondu at debian.org>  Thu, 03 Dec 2009 11:54:58 +0100
 
 coq (8.2.pl1+dfsg-3) unstable; urgency=low
 

-- 
coq packaging