Watch file results

component: main
distribution: debian
errors: uscan returned an empty output
last_check: 2023-06-04 01:50:21.703006
release: sid
source: hol-light
status: error
version: 20230128-1
watch_file: 
version=3
#https://github.com/jrh13/hol-light/tags/ .*/([\d\.+]+)\.tar\.gz

# The upstream version of HOL Light is only available as a git repository
# at https://github.com/jrh13/hol-light/ . There are no releases.
# 
# If there is a way to let uscan check git commits then please tell me!