quería saber si ya hay un repositorio para arduino ide 022, he buscado por google pero parece que todavía no hay uno u.u y la versión que tiene repositorio es la 018
Si lo que quieres es descargarlo, lo puedes hacer directamente de la página de descargas: http://arduino.cc/en/Main/Software