What to do when ESP32 Board Manager package fails to install

Board Manager installs can fail in a bunch of ways - download errors, “esp32:esp-rv32”, checksum mismatches, or it gets stuck halfway through extracting. The common theme is the same: you end up with a partial install.

Quick fixes (do these first)

Restart Arduino IDE and try the install again.
Switch networks (hotspot test). If it works on hotspot, it's your network/proxy/firewall.
Free disk space (yes, installs can fail in weird ways when you're low).

Fix the “partial install” problem

If the install failed once, don't keep retrying forever. Clean out the broken bits so the next attempt is actually fresh.

Uninstall the ESP32 core in Boards Manager (if it shows as installed).
Close Arduino IDE completely.
Reopen and install again.

If you see “esp32:esp-rv32” or “libs download error”

That's typically still a download/caching issue. The fix is boring but effective: fresh retry on a stable connection, after clearing the partial install.

If it fails at “extracting”

Disable aggressive antivirus temporarily (it can lock files while the installer is unpacking).
Don't install to a synced folder (OneDrive/Dropbox). Keep Arduino's data folders local.
Reboot if the installer left locked files behind.

Bottom line

When Board Manager fails, the next install often fails because of a partial install. Uninstall/clean it up, then retry on a stable connection (hotspot test is the fastest way to prove it).