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

[Stephane Glondu]

The following commit has been merged in the master branch:
commit d43a92cbe2dd9b90393698e98eb96104b14c04fa
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Jul 4 12:14:10 2009 +0200

    New Upstream Version

diff --git a/debian/changelog b/debian/changelog
index 11d3c53..9692444 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+coq (8.2.pl1+dfsg-1) unstable; urgency=low
+
+  * New Upstream Version
+  * debian/purify_tarball: keep some files from doc/common/styles/html
+    needed for HTML API doc generation
+
+ -- Stephane Glondu <steph at glondu.net>  Sat, 04 Jul 2009 12:13:28 +0200
+
 coq (8.2-1+dfsg-2) unstable; urgency=low
 
   [ Samuel Mimram ]

-- 
coq packaging