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:rp2040tools@1.0.2 already installed
Downloading packages
Seeeduino:rp2040@2.7.2
Upgrading platform Seeeduino:rp2040@1.12.0 with Seeeduino:rp2040@2.7.2
Failed to install platform: Seeeduino:rp2040.
Error: 13 INTERNAL: Cannot install platform: installing platform Seeeduino:rp2040@2.7.2: 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.