version=4

opts=\
     downloadurlmangle=s|releases/tag|archive/refs/tags|;\
                       s|$|.zip|,\
     dversionmangle=auto,\
     repacksuffix=+dfsg \
https://github.com/jrh13/hol-light/releases \
releases/tag/(?:Release|v)@ANY_VERSION@
