Watch file results

component: main
debian_mangled_uversion: 0.0.200911a
debian_uversion: 0.0.200911a
distribution: debian
last_check: 2018-01-14 00:06:14.911351
release: sid
source: ladr
status: up to date
upstream_url: http://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz
upstream_version: 0.0.200911a
version: 0.0.200911a-2.1
watch_file: version=3 # Converts an LADR version number of the form March-2007A into the form 0.0.200703a, or 2008-04A into the form 0.0.200804a opts="uversionmangle=s/Jan[^-]*/01/;s/Feb[^-]*/02/;s/Mar[^-]*/03/;s/Apr[^-]*/04/;s/May/05/;s/Jun[^-]*/06/;s/Jul[^-]*/07/;s/Aug[^-]*/08/;s/Sep[^-]*/09/;s/Oct[^-]*/10/;s/Nov[^-]*/11/;s/Dec[^-]*/12/;s/([0-9]{2})-([0-9]{4})([A-Z]?)/0.0.$2$1\L$3/;s/([0-9]{4})-([0-9]{2})([A-Z]?)/0.0.$1$2\L$3/" http://www.cs.unm.edu/~mccune/mace4/download/ LADR-(.*).tar.gz