micro source sha256sum no longer matches

[Eeems]

Describe the issue
When trying to build micro, it fails as the source tarball no longer matches the sha256sum used to originally build it.

To Reproduce
Steps to reproduce the behaviour:

1. Download repo
2. make micro
3. toltec.builder.BuildError: Invalid checksum for source file https://github.com/zyedidia/micro/releases/download/v2.0.13/micro-2.0.13-linux-arm.tar.gz

Expected behaviour
I would expect this to work, as Github reports that the release artifact has not been modified after the last time micro was built.

Upstream issue
zyedidia/micro#3322

Screenshots

System information:

• toltecctl status output: N/A
• Package: micro 2.0.13-1

Additional context
N/A