When trying to install v2.7.2 of the Seeed Xiao RP2040 board in Arduino IDE 2.0.0-rc5 I get the error below.
...
Tool Seeeduino:[email protected] already installed
Downloading packages
Seeeduino:[email protected]
Upgrading platform Seeeduino:[email protected] with Seeeduino:[email protected]
Failed to install platform: Seeeduino:rp2040.
Error: 13 INTERNAL: Cannot install platform: installing platform Seeeduino:[email protected]: testing local archive integrity: testing archive size: fetched archive size differs from size specified in index
Is this a known issue? Any advice on how to proceed? Thanks.