Version 13.2.Rel1 has appeared on https://developer.arm.com/downloads/-/arm-gnu-toolchain-downloads, but download links give "The resource you are looking for has been removed, had its name changed, or is temporarily unavailable."
Tried with the link for arm-gnu-toolchain-13.2.rel1-mingw-w64-i686-arm-none-eabi.exe and several others.
Hi Yann,Thanks for letting us know! This should also be fixed now (fix done on 2023.11.29).If you re-download the manifest files you may notice that these download links for wget have been changed from containing `13.2.2023.10` to containing `13.2.rel1`.