summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGard Spreemann <gspreemann@gmail.com>2018-09-12 18:04:54 +0200
committerGard Spreemann <gspreemann@gmail.com>2018-09-12 18:04:54 +0200
commit0a371314329e43280240170b3266e935711313a7 (patch)
treea1476ecf9ba245d35a5b0820a78b8cd64315eb38
parentdbadb302cc970418fbd4548264690f536eda593c (diff)
-rw-r--r--debian/watch6
1 files changed, 3 insertions, 3 deletions
diff --git a/debian/watch b/debian/watch
index d518384a..0e148758 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,5 +1,5 @@
-version=3
+version=4
-opts="dversionmangle=s/\+dfsg(\.\d+)?$//,filenamemangle=s/\S+\/v?(\S+)\.tar\.gz/gudhi-$1\.tar\.gz/" \
+opts="dversionmangle=s/\+dfsg(\.\d+)?$//" \
https://gforge.inria.fr/frs/?group_id=3865 \
- .*\/.*GUDHI_(\d[\d.-]*)\.tar\.gz
+ .*\/.*GUDHI_(\d[\d.-]*)@ARCHIVE_EXT@