Aggiornamento "core" e "librerie" di Leo

Non ti appaiono nel "Board Manager" o premendo il bottone "Install" non te le installa ?

Perché ho guardato il file json e i link che sono dentro sono tutti funzionanti ... :

Guglielmo