diff options
author | Benjamin Barenblat <bbaren@debian.org> | 2018-12-24 13:25:38 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@debian.org> | 2018-12-24 13:25:38 -0500 |
commit | 5a38d3c4d185cd2248b483de3f64228d5f948d2d (patch) | |
tree | 853dc5ec5630178174466c8830f97a9c2bbf669c | |
parent | 45d7383f95ce0528d756f712635df90456ab97dc (diff) |
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.
-rw-r--r-- | debian/watch | 7 |
1 files 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 <bartm@debian.org> 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 |