CRC Mismatch while trying to install Arduino ESP32 boards

[fabri91]

Even on a system on which Arduino was never installed, attempting to download the Arduino ESP32 board package results in an error message to the tune of "CRC doesn't match, file corrupted".

It seems to be an easily reproduced issue.

[ptillisch]

Thanks for your report @fabri91. I have submitted a fix for this problem.

Until that fix is accepted, please use version 2.0.12 of the "Arduino ESP32 Boards" platform. Version 2.0.13 was released only to keep the "Arduino ESP32 Boards" platform in sync with the "esp32" platform it is based on. The changes made in the "esp32" platform between 2.0.12 and 2.0.13 are not really significant for the Nano ESP32 board so you aren't missing our on anything by using 2.0.12.

I'll provide instructions you can follow to install 2.0.12:

1. Select Tools > Board > Boards Manager from the Arduino IDE menus.
   A "Boards Manager" dialog will appear.
2. Wait for the updates to finish, as shown by the messages printed at the bottom of the "Boards Manager" dialog.
3. Scroll down through the list of boards platforms until you find the "Arduino ESP32 Boards" entry. Click on it.
   Some buttons will appear on the entry.
4. Select "2.0.12" from the menu in the "Arduino ESP32 Boards" entry.
5. Click the "Install" button.
6. Wait for the installation to finish.
7. Click the "Close" button on the "Boards Manager" dialog.

You should now see the boards of the installed platform under the Tools > Board menu of Arduino IDE.

---

Please let me know if you have any questions or problems while following those instructions.