Bug#902903: coq: please update d/watch to reflect migration of downloads to GitHub
Package: coq
Version: 8.6-5
Severity: normal
Tags: patch
Dear Maintainer,
looks like some time ago Coq developers stopped to provide downloads
on their web-site, and now they use GitHub instead. Please, find
attached patch (changes to d/watch) to reflect these changes.
Regards,
Lev Lamberov
-- System Information:
Debian Release: buster/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 4.16.0-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=ru_RU.UTF-8, LC_CTYPE=ru_RU.UTF-8 (charmap=UTF-8), LANGUAGE=ru_RU.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
Versions of packages coq depends on:
ii coq-theories 8.6-5
ii emacsen-common 2.0.8
ii libc6 2.27-3
ii libcoq-ocaml [libcoq-ocaml-7cs63] 8.6-5
ii ocaml-base-nox [ocaml-base-nox-4.05.0] 4.05.0-10+b1
pn ocaml-best-compilers <none>
ii ocaml-findlib 1.7.3-2+b1
Versions of packages coq recommends:
ii coqide 8.6-5
ii proofgeneral 4.4.1~pre170114-1
Versions of packages coq suggests:
ii coq-doc 8.6-1
ii ledit [readline-editor] 2.04-1
pn libcoq-ocaml-dev <none>
ii ocaml-nox 4.05.0-10+b1
ii proofgeneral 4.4.1~pre170114-1
pn why <none>
-- no debconf information
>From 4ad10b30a28fe4954913b69e01df2be3436a00bc Mon Sep 17 00:00:00 2001
From: Lev Lamberov <dogsleg@debian.org>
Date: Tue, 3 Jul 2018 13:44:08 +0500
Subject: [PATCH] Update d/watch (fetch new releases from GitHub)
---
debian/watch | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/debian/watch b/debian/watch
index 5d9c70de..814cbad0 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,4 +1,4 @@
-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=dversionmangle=s/\+(debian|dfsg|ds|deb)(\.?\d+)?$// \
+ https://github.com/coq/coq/tags \
+ .*/V?(\d\S+)\.tar\.gz debian uupdate
--
2.18.0
Reply to: