Watch file results

component: main
distribution: debian
last_check: 2023-03-26 00:25:35.820696
release: sid
source: proofgeneral
status: error
version: 4.4.1~pre170114-1.2
warnings: In watchfile debian/watch, reading webpage http://proofgeneral.inf.ed.ac.uk/releases/ failed: 404 Not Found
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))