diff options
Diffstat (limited to 'debian/watch')
| -rw-r--r-- | debian/watch | 5 |
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) |