Package: prover9-manual Version: 0.0.200806a-1 Tags: patch Hi,
The watch file for prover9-manual is unfortunately one of a small number that are no longer supported by uscan due to its use of Perl's /e regex modifier (see DSA1878-1 and the 2.10.54 devscripts package). The fix is very simple, as the updated uscan still supports the use of \L: opts="uversionmangle=s/^(....)-(..)(.?)$/0.0.$1$2\L$3/;s/^(..)(..)(.?)$/0.0.20$2$1\L$3/" \ http://www.cs.unm.edu/~mccune/mace4/manual-examples.html manual/prover9-manual-([0-9]{4}-[0-9]{2}[A-Z]?|[0-9]{4}[A-Z]?).tar.gz Regards, Adam -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
