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

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 7a998985060742038ba6d2664d159ff2dbcdec3d
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jul 1 17:40:12 2010 +0200

    Update changelog and prepare upload to unstable

diff --git a/debian/changelog b/debian/changelog
index 9e1c6aa..beef4fb 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,9 +1,17 @@
-coq (8.2.pl2+dfsg-1) UNRELEASED; urgency=low
+coq (8.2.pl2+dfsg-1) unstable; urgency=low
 
-  * New upstream release (Closes: #585452)
+  * New upstream release
+    - compiles with OCaml 3.12 (Closes: #585452)
     - remove 0001-Update-for-why-2.19.patch (applied upstream)
+    - add 0002-Remove-dependency-to-Unix-from-module-Profile.patch
+  * Use dh with overrides
+  * debian/control:
+    - remove Stefano and Remi from Uploaders
+    - replace Conflicts with Breaks
+    - bump Standards-Version to 3.9.0
+  * Switch source package format to 3.0 (quilt)
 
- -- Stéphane Glondu <glondu at debian.org>  Thu, 01 Jul 2010 17:25:52 +0200
+ -- Stéphane Glondu <glondu at debian.org>  Fri, 02 Jul 2010 15:25:15 +0200
 
 coq (8.2.pl1+dfsg-6) unstable; urgency=low
 

-- 
coq packaging