[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.1-3-27-gabb5c8e

[Stephane Glondu]

The following commit has been merged in the master branch:
commit abb5c8e53a1b7e342ae762c66118e372c9cd3c3d
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jan 7 22:50:53 2010 +0100

    Update changelog and prepare upload to unstable

diff --git a/debian/changelog b/debian/changelog
index 6378952..5272402 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,17 +1,25 @@
-coq-doc (8.2pl1-1) UNRELEASED; urgency=low
+coq-doc (8.2pl1-1) unstable; urgency=low
 
   [ Stéphane Glondu ]
-  * New upstream release
-  * Switching packaging to git
-
-  [ Stefano Zacchiroli ]
-  * fix vcs-svn field to point just above the debian/ dir
+  * New upstream release (Closes: #563669)
+    - remove patches
+  * Packaging overhaul:
+    - use git, advertise it in Vcs-* fields of debian/control
+    - use debhelper 7 and dh with override
+    - use source format 3.0 (quilt)
+  * debian/control:
+    - set Maintainer to d-o-m, set Uploaders to Sam and myself
+    - add Homepage field
+    - bump Standards-Version to 3.8.3
+  * Register PDF documentation into doc-base
+  * Add debian/watch
+  * Update debian/copyright
 
   [ Samuel Mimram ]
   * Change coq-doc's description to mention that it provides documentation in
     pdf format, not postscript, closes: #543545.
 
- -- Samuel Mimram <smimram at debian.org>  Thu, 27 Aug 2009 10:20:07 +0200
+ -- Stéphane Glondu <glondu at debian.org>  Thu, 07 Jan 2010 22:50:39 +0100
 
 coq-doc (8.1-3) unstable; urgency=low
 

-- 
coq-doc packaging