Click the Install button at the bottom right of the Digistump item in the dialog box, as shown in the image below. Digispark board support package in the Arduino IDE Boards Manager dialog box After ...