[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-32-gdb4ea6d

[Stephane Glondu]

The following commit has been merged in the master branch:
commit db4ea6ddcbeb0dea41267dc87a30b76a01e402af
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jul 31 17:50:55 2008 +0200

    Update changelog

diff --git a/debian/changelog b/debian/changelog
index 7e71877..677e23d 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -6,12 +6,16 @@ coq (8.2~beta3+dfsg-1) UNRELEASED; urgency=low
     cmxa-install obsolete patches.
 
   [ Stephane Glondu ]
+  * Update debian/rules and debhelper files
   * [8dd1802] Fix typo in README.Debian
   * [dec29bb] Add myself to Uploaders, and DM-Upload-Allowed to control
   * [dd1436b] Switch packaging to git
-  * Update debian/rules and debhelper files
+  * [2dd9e5d] Set doc-base section to Science/Mathematics
+  * [c89cb94] Add Homepage field
+  * [7dd7c53] Add debian/README.source
+  * [1c6c7c8] Bump Standards-Version to 3.8.0
 
- -- Stephane Glondu <steph at glondu.net>  Mon, 28 Jul 2008 16:13:39 +0200
+ -- Stephane Glondu <steph at glondu.net>  Thu, 31 Jul 2008 17:49:13 +0200
 
 coq (8.1.pl3+dfsg-1) unstable; urgency=low
 

-- 
coq packaging