From 301a2ee1c63d2f1dd6788f43086ba5da5a779e60 Mon Sep 17 00:00:00 2001 From: Gard Spreemann Date: Tue, 22 Oct 2019 17:59:45 +0200 Subject: Watch file for GitHub. --- debian/watch | 7 ++++--- 1 file 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@ -- cgit v1.2.3