summaryrefslogtreecommitdiff
path: root/debian/watch
diff options
context:
space:
mode:
Diffstat (limited to 'debian/watch')
-rw-r--r--debian/watch5
1 files changed, 2 insertions, 3 deletions
diff --git a/debian/watch b/debian/watch
index 1cc7882..82dd217 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,4 +1,3 @@
version=4
-opts=dversionmangle=s/\+dfsg(.*)//,repacksuffix=+dfsg,uversionmangle=s/_/./g;s/\.(rc\d*)$/~$1/,compression=xz \
- https://github.com/uriparser/uriparser/releases \
- .*[^n]/(?:|v|version-|version|release-|r|REL_|rel-|uriparser(?:_|-))(\d[^\s/]*)\.(?:tar\.xz|txz|tar\.bz2|tbz2|tar\.gz|tgz)
+opts="dversionmangle=s/\+dfsg.*$//,filenamemangle=s/.+\/[vV]?(\d\S+)\.tar\.gz/coq-$1\.tar\.gz/,repack,repacksuffix=+dfsg," \
+https://github.com/uriparser/uriparser/tags .*[^n]/(?:|v|version-|version|release-|r|REL_|rel-|uriparser(?:_|-))(\d[^\s/]*)\.(?:tar\.xz|txz|tar\.bz2|tbz2|tar\.gz|tgz)