Package: proofgeneral Version: 4.4.1~pre170114-1.2 Followup-For: Bug #1016815
Dear Maintainer, Here is a patch for the d/watch file. Thanks, Patrice -- System Information: Debian Release: trixie/sid APT prefers unstable-debug APT policy: (500, 'unstable-debug'), (500, 'unstable'), (1, 'experimental-debug'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 6.3.0-0-amd64 (SMP w/12 CPU threads; PREEMPT) Kernel taint flags: TAINT_WARN Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE not set Shell: /bin/sh linked to /usr/bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled Versions of packages proofgeneral depends on: ii emacs-gtk 1:28.2+1-15 ii mmm-mode 0.5.8-4 proofgeneral recommends no packages. Versions of packages proofgeneral suggests: pn proofgeneral-doc <none> pn prooftree <none> -- no debconf information
diff --git a/proofgeneral-4.4.1~pre170114/debian/watch b/proofgeneral_4.4.1~pre170114.new/debian/watch index 814a75f..fc369a6 100644 --- a/proofgeneral-4.4.1~pre170114/debian/watch +++ b/proofgeneral_4.4.1~pre170114.new/debian/watch @@ -1,7 +1,3 @@ -# See uscan(1) - scan/watch upstream sources for new releases of software - -# Compulsory line, this is a version 3 file -version=3 - -opts=uversionmangle=s/([.0-9]+)RC(\d)/$1rc$2/;s/([.0-9]+)((rc|pre)\d+)$/$1~$2/ \ -http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-([0-9].*)\.(?:tgz|tbz2|tar\.(?:gz|bz2|xz)) +version=4 +opts="filenamemangle=s%(?:.*?)?v?@ANY_VERSION@(@ARCHIVE_EXT@)%@PACKAGE@-$1$2%" \ + https://github.com/ProofGeneral/PG/tags (?:.*?/)v?@ANY_VERSION@@ARCHIVE_EXT@
