Watch file results

component: main
debian_mangled_uversion: 0.5
debian_uversion: 0.5.dfsg
distribution: debian
last_check: 2019-08-20 00:27:21.60339
release: sid
source: p9m4
status: up to date
upstream_url: http://www.cs.unm.edu/~mccune/mace4/gui/p9m4-v05.tar.gz
upstream_version: 0.5
version: 0.5.dfsg-3
watch_file: version=3 opts="uversionmangle=s/^0+/0\./,dversionmangle=s/\.dfsg$//,downloadurlmangle=s/v([0-9]+)\.html/p9m4-v$1.tar.gz/,filenamemangle=s/gui\/v([0-9]+)\.html/p9m4-v$1.tar.gz/" http://www.cs.unm.edu/~mccune/mace4/ gui/v([0-9]+)\.html