vimerbf pushed to branch master at Debian OCaml Maintainers / hol-light
Commits: 97f5ab7d by Bo YU at 2024-10-15T16:11:11+08:00 clear some comments on d/watch again Signed-off-by: Bo YU <[email protected]> - - - - - 1 changed file: - debian/watch Changes: ===================================== debian/watch ===================================== @@ -1,8 +1,5 @@ version=4 - -# Explicitly prefer .zip until #831370 is fixed in tar. - opts=\ downloadurlmangle=s|releases/tag|archive/refs/tags|;\ s|$|.zip|,\ @@ -10,8 +7,3 @@ opts=\ repacksuffix=+dfsg \ https://github.com/jrh13/hol-light/releases \ releases/tag/(?:Release|v)@ANY_VERSION@ - -# 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! View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/97f5ab7d9cd25773b8ce56d46f3e2508bf7e2abe -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/97f5ab7d9cd25773b8ce56d46f3e2508bf7e2abe You're receiving this email because of your account on salsa.debian.org.
