Arduino IDE - ArducamPico4ML/RP2040 board manger install errror

Hi, I am attempting to get started with the HM0360 VGA Camera with my Raspberry Pi Pico . I am following the tutorial at site Arducam HM0360 VGA Camera Module for Raspberry Pi Pico - Arducam Wiki

For reference, I am working in Arudino IDE 2 on Linux. When I click install button ( section 6 ) to install the ArducamPico4ML/RP2040 library in the Arduino IDE. I get the following messages


Tool rp2040:[email protected] already installed
Tool rp2040:[email protected] already installed
Tool rp2040:[email protected] already installed
Tool rp2040:[email protected] already installed
Tool rp2040:[email protected] already installed
Tool rp2040:[email protected] already installed
Downloading packages
rp2040:[email protected]
Replacing platform rp2040:[email protected] with rp2040:[email protected]
Failed to install platform: rp2040:rp2040.
Error: 13 INTERNAL: Cannot install platform: installing platform rp2040:[email protected]: testing local archive integrity: testing archive size: fetched archive size differs from size specified in index: 11653739 != 11657216

How can I resolve this issue to proceed with the examples? Is it possible to pre-install the rp2040 lib @ version 1 to sidestep this issue?