diff options
author | Gard Spreemann <gspr@nonempty.org> | 2019-10-30 15:40:42 +0100 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2019-10-30 15:40:42 +0100 |
commit | 3ffd8478e254f735700003dcc1ec4f286671b9d1 (patch) | |
tree | 94c9dd89df4449f7c1ad2799264ac1d93f6c6e44 /debian/watch | |
parent | 0ccbdf61cd4d0c2b051f196302b09a5bfd577fba (diff) |
Watch file.
Diffstat (limited to 'debian/watch')
-rw-r--r-- | debian/watch | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/watch b/debian/watch new file mode 100644 index 0000000..be95e49 --- /dev/null +++ b/debian/watch @@ -0,0 +1,3 @@ +version=4 +opts=filenamemangle=s/.+\/v?(\d\S+)\.tar\.gz/ripser-$1\.tar\.gz/,uversionmangle=s/-?(RC|rc)/~rc/ \ + https://github.com/Ripser/ripser/releases .*/archive/v(\d\S+)\.tar\.gz
\ No newline at end of file |