Supponendo che tu stia usando l'IDE 2.X devi selezionare il pulsante sulla SX relativo la board manager, vai su ESP32 e vedi che versione hai installato, e dal menu con il numero di versione ne puoi scegliere altre:
Ciao, Ale.
