diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2020-05-30 16:13:01 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2020-05-30 19:36:25 -0400 |
| commit | 0547021a5dda96918ff56020fda94b170131af25 (patch) | |
| tree | 4d78e15696428fd2f832a7d5e60971da3ff6a059 /debian | |
| parent | b0e1f258af094abe0332b3d379d41fb36cccef69 (diff) | |
debian/watch: Update for GitHub move
Ur/Web releases are now hosted on GitHub; update debian/watch to check
for releases there.
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/watch | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debian/watch b/debian/watch index 70157dab..cf0cc27f 100644 --- a/debian/watch +++ b/debian/watch @@ -1,3 +1,3 @@ -version=3 -opts=dversionmangle=s/\+dfsg-\d+$// \ - http://impredicative.com/ur/main.html urweb-(.+).tgz +version=4 +opts=filenamemangle=s/.+\/v?(\d\S+)\.tar\.gz/urweb-$1\.tar\.gz/ \ + https://github.com/urweb/urweb/releases .*/v?(\d\S+)\.tar\.gz |