O núcleo Arduino já vem incluído — só liste o que for além dele. Pelo
nome, a versão mais nova do índice oficial é usada; fixe uma com
@versao. Pela URL, vale qualquer .zip (o “Download ZIP”
do GitHub serve). As bibliotecas são instaladas na próxima compilação.