From 5a38d3c4d185cd2248b483de3f64228d5f948d2d Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Mon, 24 Dec 2018 13:25:38 -0500 Subject: Update debian/watch for GitHub switch The Coq developers now distribute Coq through GitHub rather than via a direct download from INRIA. Update debian/watch to point to GitHub. Tweak the version regex slightly to account for Coq using capital V in their version numbers (e.g., V8.7.2). Also tweak the regex to ignore any release with a + in it; those releases are preproduction releases. --- debian/watch | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/debian/watch b/debian/watch index 5d9c70de..0d3a7a07 100644 --- a/debian/watch +++ b/debian/watch @@ -1,4 +1,3 @@ -version=3 -opts=dversionmangle=s/\+?(debian|dfsg|ds|deb)\d*$// \ -http://coq.inria.fr/download .*/coq-(\d.*)\.(?:tgz|tbz2|txz|tar\.(?:gz|bz2|xz)) -# Bart Martens Sun, 30 Dec 2012 20:22:30 +0000 +version=4 +opts=filenamemangle=s/.+\/[vV]?(\d\S+)\.tar\.gz/coq-$1\.tar\.gz/ \ + https://github.com/coq/coq/releases .*/[vV]?(\d[^\s+]+)\.tar\.gz -- cgit v1.2.3