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

[Stephane Glondu]

The following commit has been merged in the master branch:
commit dfb92f72bd3484d246cc241db865056393d39f47
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Aug 12 16:38:34 2008 +0200

    Update debian/changelog

diff --git a/debian/changelog b/debian/changelog
index 48d98bb..92f7e99 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -16,8 +16,9 @@ coq (8.2~beta4+dfsg-1) UNRELEASED; urgency=low
   * [1c6c7c8] Bump Standards-Version to 3.8.0
   * [38db629] Remove browser.dpatch and use --browser configure option
   * [9fd4621] Add use-env-in-coq-config.dpatch
+  * [c7560b2] Remove obsolete manpages (now shipped upstream)
 
- -- Stephane Glondu <steph at glondu.net>  Fri, 08 Aug 2008 23:18:56 +0200
+ -- Stephane Glondu <steph at glondu.net>  Tue, 12 Aug 2008 16:37:51 +0200
 
 coq (8.1.pl3+dfsg-1) unstable; urgency=low
 

-- 
coq packaging