Digistump Arduino Release 1.6.5A
This release reorganizes everything to be compatible with the Arduino Boards Manager in 1.6.4+
Please see install instructions:
Digispark: http://digistump.com/wiki/digispark/tutorials/connecting
Digispark Pro: http://digistump.com/wiki/digispark/tutorials/connectingpro