[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-3-23-g0cdc973

[Samuel Mimram]

The following commit has been merged in the master branch:
commit 0cdc973f967b09282237536f1f98682b26bb1e8d
Author: Samuel Mimram <samuel.mimram at ens-lyon.org>
Date:   Mon Apr 6 19:52:15 2009 +0200

    Updated watch file.

diff --git a/debian/changelog b/debian/changelog
index 12e2c86..253d329 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+coq (8.2-1+dfsg-2) UNRELEASED; urgency=low
+
+  * Updated watch file.
+
+ -- Samuel Mimram <smimram at debian.org>  Mon, 06 Apr 2009 19:51:50 +0200
+
 coq (8.2-1+dfsg-1) unstable; urgency=low
 
   * New Upstream Version
diff --git a/debian/watch b/debian/watch
index 6923241..68e5534 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,4 +1,4 @@
 version=3
 
 opts=uversionmangle=s/pl/.pl/,dversionmangle=s/\+dfsg\d*$// \
-        http://coq.inria.fr/distrib1-eng.html .*/files/coq-([0-9a-z\.]*)\.tar\.gz
+        http://coq.inria.fr/distrib1-eng.html .*/files/coq-([0-9a-z\.-]*)\.tar\.gz

-- 
coq packaging