diff options
Diffstat (limited to 'debian/watch')
-rw-r--r-- | debian/watch | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/debian/watch b/debian/watch index 5d9c70de..0d3a7a07 100644 --- a/debian/watch +++ b/debian/watch @@ -1,4 +1,3 @@ -version=3 -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 +version=4 +opts=filenamemangle=s/.+\/[vV]?(\d\S+)\.tar\.gz/coq-$1\.tar\.gz/ \ + https://github.com/coq/coq/releases .*/[vV]?(\d[^\s+]+)\.tar\.gz |