Version: 5

# The release assets are not all listed in the HTML of the releases page
# (GitHub truncates the list and lazy-loads the rest), so scan the JSON
# returned by the API instead.
# The tar.xz file is preferred over the tar.gz, because the first is signed
Source: https://api.github.com/repos/arduino/ctags/releases
Matching-Pattern: https://github\.com/arduino/ctags/releases/download/[^/"]+/ctags-@ANY_VERSION@\.tar\.xz
Search-Mode: plain
Pgp-Sig-Url-Mangle: s%$%.asc%
