Si quieres instalar el IDE de Arduino, la mejor opción es utilizar la última versión de la página oficial Arduino Tendrás que hacer un par de operaciones a mano y si bien no es una instalación tan rápida como al usar apt-get, apenas llevará unos minutos y es casi imposible equivocarse xD….