Descargar https://www.arduino.cc/en/Main/Software, descomprimir e instalar.

Ejecutar Arduino, ir a “archivo”->”preferencias” y en gestión de URLS adicionales de tarjetas añadir: http://digistump.com/package_digistump_index.json y presionar “OK”

Tras esto ir a “herramientas”->”placa”->”gestor de tarjetas”, una vez aquí seleccionar en el desplegable “contribución”, buscar digispark e instalar:

Seleccionar la placa «Digispark (predeterminado – 16.5mhz)», en “herramientas”->”placa”.

Y ya tendriamos el sofware de Arduino para programar Digispark.

Saludos