devkitPro

Hmm… The link to sourceforge seems to send me back at the forums home page.

Could it be possible to update the link towards the appropriate file in https://github.com/devkitPro, or has the .Exe installer/updated disappeared during the switch to pacman ?

ah ? apparently, this could be a candidate. (found through the huge "instructions for installing the Tools" link on the home page, if you ask ^^")