Watch file results
errors: uscan returned an empty output
last_check: 2022-05-27 04:23:01.363782
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!