diff options
author | Gard Spreemann <gspr@nonempty.org> | 2019-10-22 17:59:45 +0200 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2019-10-22 17:59:45 +0200 |
commit | 301a2ee1c63d2f1dd6788f43086ba5da5a779e60 (patch) | |
tree | 7b8d6152215311be9c15c7ce0f776b58af278a0a | |
parent | 3ac8c27ad3f478cdac4edd33260a691782d365b7 (diff) |
Watch file for GitHub.
-rw-r--r-- | debian/watch | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/debian/watch b/debian/watch index 0e148758..2948a0c6 100644 --- a/debian/watch +++ b/debian/watch @@ -1,5 +1,6 @@ version=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 .*/archive/tags/gudhi-release-(\d\S+)\.tar\.gz -opts="dversionmangle=s/\+dfsg(\.\d+)?$//" \ - https://gforge.inria.fr/frs/?group_id=3865 \ - .*\/.*GUDHI_(\d[\d.-]*)@ARCHIVE_EXT@ |