I am getting the following error when trying to add the stm32 library to Arduino IDE:
Error: 13 INTERNAL: Cannot install platform: installing platform Seeeduino:stm32@2.0.0: testing local archive integrity: testing archive size: fetched archive size differs from size specified in index: 38371223 != 38370704
Is there a way to fix this?