diff options
-rw-r--r-- | debian/changelog | 6 | ||||
-rw-r--r-- | debian/watch | 4 |
2 files changed, 8 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index 41451fbb..bfa794d5 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +gudhi (3.6.0+dfsg-2) unstable; urgency=medium + + * Fix watch file broken by GitHub change. + + -- Gard Spreemann <gspr@nonempty.org> Mon, 03 Oct 2022 16:31:23 +0200 + gudhi (3.6.0+dfsg-1) unstable; urgency=medium * New upstream version. diff --git a/debian/watch b/debian/watch index eeb694db..d9930f3f 100644 --- a/debian/watch +++ b/debian/watch @@ -3,5 +3,5 @@ opts=filenamemangle=s/.+\/gudhi-release-?(\d\S+)\.tar\.gz/gudhi-$1\.tar\.gz/,\ dversionmangle=s/\+dfsg(\.\d+)?$//,\ uversionmangle=s/.?(RC|rc)/~rc/,\ repacksuffix=+dfsg \ - https://github.com/GUDHI/gudhi-devel/releases \ - (?:.*?/)gudhi-release-?(\d[\d.]*)\.tar\.gz debian + https://github.com/GUDHI/gudhi-devel/tags \ + (?:.*?/)gudhi-release-?(\d[\d.]*)\.tar\.gz |