Eso confirma que efectivamente debe de haber un problema con los archivos en los enlaces.
Yo para poder descargar la librería Arduino. hice uso de un link suministrado por Eried.
No se si es lo que necesitas, pero aquí está nuevamente re publicado.
Saludos.