[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.4pl1dfsg-1-18-g7a1180e

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 0c6687c12b628881d5660d57707f0e7ca9e521b7
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed May 8 17:45:24 2013 +0200

    New debian/watch file by Bart Martens

diff --git a/debian/watch b/debian/watch
index 07bcf5f..5d9c70d 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,4 +1,4 @@
 version=3
-
-opts=dversionmangle=s/dfsg$// \
-        http://coq.inria.fr/download .*/coq-(.*)\.tar\.gz
+opts=dversionmangle=s/\+?(debian|dfsg|ds|deb)\d*$// \
+http://coq.inria.fr/download .*/coq-(\d.*)\.(?:tgz|tbz2|txz|tar\.(?:gz|bz2|xz))
+# Bart Martens <bartm at debian.org>  Sun, 30 Dec 2012 20:22:30 +0000

-- 
coq packaging