Watch file results

component: main
debian_mangled_uversion: 2009-02A
debian_uversion: 0.0.200902a
distribution: debian
last_check: 2024-04-26 00:23:51.423767
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.1
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