Watch file results
component: main
debian_mangled_uversion: 3.0.0
debian_uversion: 3.0.0
distribution: debian
last_check: 2025-01-17 00:50:02.65315
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@