Problema gestore schede

Buon pomeriggio a tutti,
ho un problema con l'ide di arduino; praticamente avrei bisogno di programmareun altra scheda (intel) utilizzando l'ide di arduino ma quando vado su gestore schede mi esce il messaggio: "errore durante lo scaricamento di http://downloads.arduino.cc/packages/package_index.json.

Come posso risolvere questo problema? e' da stamattina che succede ciò, prima non era mai accaduto.

Grazie in anticipo per l'attenzione,
Lorenzo