diff options
Diffstat (limited to 'debian/watch')
| -rw-r--r-- | debian/watch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/watch b/debian/watch index 82dd217..06f6653 100644 --- a/debian/watch +++ b/debian/watch @@ -1,3 +1,3 @@ version=4 -opts="dversionmangle=s/\+dfsg.*$//,filenamemangle=s/.+\/[vV]?(\d\S+)\.tar\.gz/coq-$1\.tar\.gz/,repack,repacksuffix=+dfsg," \ +opts="dversionmangle=s/\+dfsg.*$//,filenamemangle=s/.+\/[vV]?(\d\S+)\.tar\.gz/uriparser-$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) |