Arduino-esp32: package_esp32_index.json not accessible

[tjmc]

Command to run
curl -v https://dl.espressif.com/dl/package_esp32_index.json

*   Trying 119.9.91.16...
* TCP_NODELAY set
* Connected to dl.espressif.com (119.9.91.16) port 443 (#0)
* ALPN, offering h2
* ALPN, offering http/1.1
* Cipher selection: ALL:!EXPORT:!EXPORT40:!EXPORT56:!aNULL:!LOW:!RC4:@STRENGTH
* successfully set certificate verify locations:
*   CAfile: /etc/ssl/cert.pem
  CApath: none
* TLSv1.2 (OUT), TLS handshake, Client hello (1):
* LibreSSL SSL_connect: SSL_ERROR_SYSCALL in connection to dl.espressif.com:443 
* stopped the pause stream!
* Closing connection 0
curl: (35) LibreSSL SSL_connect: SSL_ERROR_SYSCALL in connection to dl.espressif.com:443 

https://www.isitdownrightnow.com/dl.espressif.com.html reports down as well

[diogosm]

Same here, so, I can't install the board :(

Edit: I've also used the following URL for json file: https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json, but when I tried to install the board on arduino IDE, it tries to download some dependencies from https://dl.espressif.com.

if anyone knows some way to fix it by using another solution, let us know.

[rdvojmoc]

Same issue here. When we can expect a working server?

[cmaile]

+1

[nikmess]

+1

[Masonl23]

+1

[hoverflow]

+1

[chegewara]

Should be fixed by now.

[tjmc]

Thanks for the quick response!

[jramonlab]

Hello,
I think server is down again.
I get error when setting the ESP32 board on the board manager.
Error downloading https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json

[jramonlab]

Hi,
I´ve found this link in other issue:
https://dl.espressif.com/dl/package_esp32_index.json

It seems to work. But not sure about the difference between this and the one on the installation instructions.
This is version 1.0.4.