summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2020-05-30 16:13:01 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2020-05-30 19:36:25 -0400
commit0547021a5dda96918ff56020fda94b170131af25 (patch)
tree4d78e15696428fd2f832a7d5e60971da3ff6a059 /debian
parentb0e1f258af094abe0332b3d379d41fb36cccef69 (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/watch6
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