diff options
| -rw-r--r-- | debian/watch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/watch b/debian/watch index ee92cd98..3d56b494 100644 --- a/debian/watch +++ b/debian/watch @@ -3,4 +3,4 @@ opts=filenamemangle=s/.+\/gudhi-release-?(\d\S+)\.tar\.gz/gudhi-$1\.tar\.gz/,\ dversionmangle=s/\+dfsg(\.\d+)?$//,\ uversionmangle=s/.?(RC|rc)/~rc/ \ https://github.com/GUDHI/gudhi-devel/releases \ - (?:.*?/)gudhi-release-?(\d[\d.]*)\.tar\.gz debian uupdate + (?:.*?/)gudhi-release-?(\d[\d.]*)\.tar\.gz debian |