STM32 Arduino Installing issue

[DJPill]

Hello !
I'm quite new to Arduino and I've got a project with a STM32WL55JC1 board and a VL53L0X sensor.
I'm trying to make it work on the Arduino IDE and I've followed instructions to use STM32 boards on this IDE (link to the github : https://raw.githubusercontent.com/stm32duino/boardmanagerfiles/main/package_stmicroelectronics_index.json in preference, searching for the STM32 MCU based boards) but i can't download it.
There is an error " Error: 13 INTERNAL: Cannot install tool STMicroelectronics:xpack-arm-none-eabi-gcc@12.2.1-1.2: testing local archive integrity: testing archive size: fetched archive size differs from size specified in index: 8085013 != 259513877 ".
I've read on some other issues (not about STM32 boards) that the file (aforementioned github link) should be modified to match the right size. But I can't really modify that file... Is this really the problem or what should I do ?

PS: first time writing a report so I hope I didnt do anything wrong and didn't miss an already opened issue about that.

[per1234]

Hi @DJPill. Thanks for your interest in this open source project. This issue tracker is only to be used to report bugs or feature requests specific to the project. This topic is more appropriate for the Arduino Forum. I'm sure we will be able to help you out over there:

https://forum.arduino.cc/