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 <[email protected]> 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 <[email protected]> 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
