Watch file results

component: main
debian_mangled_uversion: 4.4.1~pre170114
debian_uversion: 4.4.1~pre170114
distribution: debian
last_check: 2019-08-23 00:20:35.430045
release: sid
source: proofgeneral
status: only older package available
upstream_url: http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.3pre150930.tgz
upstream_version: 4.3~pre150930
version: 4.4.1~pre170114-1.1
watch_file: # See uscan(1) - scan/watch upstream sources for new releases of software # Compulsory line, this is a version 3 file version=3 opts=uversionmangle=s/([.0-9]+)RC(\d)/$1rc$2/;s/([.0-9]+)((rc|pre)\d+)$/$1~$2/ \ http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-([0-9].*)\.(?:tgz|tbz2|tar\.(?:gz|bz2|xz))