Watch file results

component: main
debian_mangled_uversion: 3.0.0
debian_uversion: 3.0.0
distribution: debian
last_check: 2025-05-21 01:20:04.215916
release: sid
source: hol-light
status: up to date
upstream_url: https://github.com/jrh13/hol-light/archive/refs/tags/Release-3.0.0.zip
upstream_version: 3.0.0
version: 1:3.0.0-2
watch_file: 
version=4

opts=\
     downloadurlmangle=s|releases/tag|archive/refs/tags|;\
                       s|$|.zip|,\
     dversionmangle=auto,\
     repacksuffix=+dfsg \
https://github.com/jrh13/hol-light/releases \
releases/tag/(?:Release|v)@ANY_VERSION@