i don't have any board in my ide and i have this error 
when trying to install any
Downloading packages
arduino:[email protected]
arduino:[email protected]
arduino:[email protected]
arduino:[email protected]
Installing arduino:[email protected]
Failed to install platform: arduino:avr.
Error: 13 INTERNAL: Cannot install tool arduino:[email protected]: 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 