marlintool
marlintool copied to clipboard
Updated arduino toolchain URL
It looks like download link was dead, updated it to the new URL.
This agrees with the gist of the problem I found and logged as an issue - this update resolves the problem.