Watch file results

component: main
debian_mangled_uversion: 3.9
debian_uversion: 3.9
distribution: debian
last_check: 2024-04-25 00:23:51.962463
release: sid
source: spass
status: only older package available
upstream_url: http://www.spass-prover.org/download/sources/spass37.tgz
upstream_version: 3.7
version: 3.9-1.1
watch_file: 
version=3
opts="uversionmangle=s/(.)(.+)/$1.$2/" http://www.spass-prover.org/download/index.html sources/spass(.+)\.tgz