Watch file results

component: main
debian_mangled_uversion: 2009-02A
debian_uversion: 0.0.200902a
distribution: debian
last_check: 2017-09-23 00:20:37.19679
release: sid
source: prover9-manual
status: newer package available
upstream_url: http://www.cs.unm.edu/~mccune/mace4/manual/prover9-manual-2009-11A.tar.gz
upstream_version: 2009-11A
version: 0.0.200902a-2
watch_file: version=3 opts=dversionmangle=s/^0\.0\.200902a$/2009-02A/ \ http://www.cs.unm.edu/~mccune/mace4/manual-examples.html .*/prover9-manual-(\d.*)\.(?:tgz|tbz2|txz|tar\.(?:gz|bz2|xz)) # Bart Martens Mon, 31 Dec 2012 18:49:00 +0000