diff options
author | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2022-10-29 22:30:30 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhsoting.net> | 2022-10-29 22:30:30 +0200 |
commit | 130dc6e51879b4e337a53719ef325c7d6b3dae94 (patch) | |
tree | 7c9fb04f2e7f2db0e42d28a443292cc85c1f3b01 /debian/watch | |
parent | 6cb5149d575c2514f61c74e9ad5f6690b082271e (diff) |
Fix debian/watch
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) |