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

[Stephane Glondu]

The following commit has been merged in the master branch:
commit beb7d5356e2d50189c89dac8fb336ee740186987
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Feb 10 09:26:29 2010 +0100

    Update changelog and prepare upload to unstable

diff --git a/debian/changelog b/debian/changelog
index 780654c..492e862 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,9 @@
-coq (8.2.pl1+dfsg-5) UNRELEASED; urgency=low
+coq (8.2.pl1+dfsg-5) unstable; urgency=low
 
-  * NOT RELEASED YET
+  * Rebuild with OCaml 3.11.2
+  * Bump Standards-Version to 3.8.4 (no changes)
 
- -- Stéphane Glondu <glondu at debian.org>  Wed, 10 Feb 2010 09:21:38 +0100
+ -- Stéphane Glondu <glondu at debian.org>  Wed, 10 Feb 2010 09:24:03 +0100
 
 coq (8.2.pl1+dfsg-4) unstable; urgency=low
 

-- 
coq packaging