The following commit has been merged in the master branch:
commit 0c6687c12b628881d5660d57707f0e7ca9e521b7
Author: Stephane Glondu <st...@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 <ba...@debian.org>  Sun, 30 Dec 2012 20:22:30 +0000

-- 
coq packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to