You can try using other tools, download the corresponding files and try again.
I retested the compilation of six versions of the two platforms yesterday, and they are all available.
https://github.com/tossp/redpill-tool-chain/runs/3886905266?check_suite_focus=true