i don't have any board in my ide and i have this error when trying to install any
Downloading packages
arduino:avr-gcc@7.3.0-atmel3.6.1-arduino7
arduino:avrdude@6.3.0-arduino17
arduino:arduinoOTA@1.3.0
arduino:avr@1.8.6
Installing arduino:avr-gcc@7.3.0-atmel3.6.1-arduino7
Failed to install platform: arduino:avr.
Error: 13 INTERNAL: Cannot install tool arduino:avr-gcc@7.3.0-atmel3.6.1-arduino7: testing local archive integrity: testing archive size: fetched archive size differs from size specified in index: 8674 != 52519412
Re-install didn't work even for previous versions
turning off antivirus didn't work