On 2017/12/23 20:20, Klemens Nanni wrote: > DISTNAME needs more than the version string, but you should use GH_* > here anyway.
Yes. Single distfile using a github /archive/ url -> use GH_*. (github /release/ URL -> use MASTER_SITES, multiple distfiles: it's complicated. :)
