Watch file results

component: main
debian_mangled_uversion: 3.1.0
debian_uversion: 3.1.0
distribution: debian
last_check: 2026-01-12 01:20:11.924748
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: up to date
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-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