Package: minizinc Version: 2.0.14+dfsg1-1+b1 Severity: wishlist Tags: patch
Dear Maintainer, I have included a debian/watch patch, so the PTS will warn when a new version is out. Regards, Tom Fitzhenry -- System Information: Debian Release: 9.0 APT prefers stable APT policy: (500, 'stable') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 4.9.0-3-amd64 (SMP w/4 CPU cores) Locale: LANG=en_AU.UTF-8, LC_CTYPE=en_AU.UTF-8 (charmap=UTF-8), LANGUAGE=en_AU.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) Versions of packages minizinc depends on: ii flatzinc 4.4.0-5 ii libc6 2.24-11+deb9u1 ii libgcc1 1:6.3.0-18 ii libstdc++6 6.3.0-18 minizinc recommends no packages. minizinc suggests no packages. -- no debconf information
version=4 opts=filenamemangle=s/.+\/v?(\d\S+)\.tar\.gz/minizinc-$1\.tar\.gz/ \ https://github.com/MiniZinc/libminizinc/tags .*/v?(\d\S+)\.tar\.gz
