summaryrefslogtreecommitdiff
path: root/debian/watch
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2013-05-08 17:45:24 +0200
committerGravatar Stephane Glondu <steph@glondu.net>2013-05-08 17:45:24 +0200
commit0c6687c12b628881d5660d57707f0e7ca9e521b7 (patch)
tree1378d5366b8badb020cc111650eba04c7807efd3 /debian/watch
parent1c212c7027effb41a8831acdc0c4277ab8c80d26 (diff)
New debian/watch file by Bart Martens
Diffstat (limited to 'debian/watch')
-rw-r--r--debian/watch6
1 files changed, 3 insertions, 3 deletions
diff --git a/debian/watch b/debian/watch
index 07bcf5fe..5d9c70de 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@debian.org> Sun, 30 Dec 2012 20:22:30 +0000