Watch file results

component: main
debian_mangled_uversion: 3.0.0
debian_uversion: 3.0.0
distribution: debian
last_check: 2025-11-26 21:50:21.443381
metadata: --- Bug-Database: https://github.com/jrh13/hol-light/issues Bug-Submit: https://github.com/jrh13/hol-light/issues/new Repository: https://github.com/jrh13/hol-light.git Repository-Browse: https://github.com/jrh13/hol-light
release: sid
source: hol-light
status: newer package available
upstream_url: https://github.com/jrh13/hol-light/archive/refs/tags/Release-3.1.0.zip
upstream_version: 3.1.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@