Describe the problem

En Arduino IDE 2.3.7, la instalación inicial del core ESP32 falla de forma consistente.
Sin embargo, el core ESP8266 se instala correctamente en esta misma versión, lo que indica que el problema no afecta al gestor de paquetes en general, sino específicamente al paquete ESP32.

To reproduce

Instalar Arduino IDE 2.3.7 (instalación limpia) en una computadora nueva o sin una versión previa.

Abrir Boards Manager.

Buscar esp32 (Espressif Systems).

Intentar instalar la versión estable del core.

Expected behavior

Resultado esperado
El core ESP32 debería descargarse e instalarse correctamente, igual que ocurre con el core ESP8266 y con versiones previas del IDE.

Resultado real
La instalación del core ESP32 falla. Se observan uno o más de los siguientes comportamientos:

Descarga incompleta
Timeout
Error al extraer archivos
Instalación que no avanza o queda congelada

Arduino IDE version

2.3.7

Operating system

Windows

Operating system version

11

Additional context

Comportamiento comparado con otros cores
ESP8266: se instala correctamente en Arduino IDE 2.3.7.

AVR y otros cores oficiales: funcionan sin problemas.

ESP32: falla únicamente cuando se intenta instalar desde cero en 2.3.7.

Esto sugiere un problema específico del paquete ESP32 o de cómo la versión 2.3.7 maneja este paquete en particular.

Prueba adicional (muy relevante)
Si el core ESP32 se instala previamente en Arduino IDE 2.3.6, y luego se actualiza el IDE a 2.3.7, entonces:

El IDE reconoce correctamente el core ESP32 ya instalado

Las tarjetas ESP32 aparecen disponibles

La compilación funciona sin errores

Esto confirma que el fallo ocurre únicamente durante la instalación inicial del core ESP32 en la versión 2.3.7, no durante su uso.

Issue checklist

• I searched for previous reports in the issue tracker
• I verified the problem still occurs when using the latest nightly build
• My report contains all necessary details