Watch file results

component: main
debian_mangled_uversion: 3.1.0+git20260619
debian_uversion: 3.1.0+git20260619
distribution: debian
last_check: 2026-08-09 18:50:10.393394
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: only older 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.1.0+git20260619-2
watch_file: 
Version: 5

Source: https://github.com/jrh13/hol-light/releases
Matching-Pattern: releases/tag/(?:Release|v)@ANY_VERSION@
Downloadurlmangle: s|releases/tag|archive/refs/tags|;s|$|.zip|
Dversionmangle: auto
Repacksuffix: +dfsg