But when switching the IDE to the Board 'Digistump AVR Boards - Digistump Pro (Default 16MHz)', I'll get the following error message during compile time: Detecting libraries used. After upgrading the Mac, Ardunio IDE still works fine for non-Digistump boards. So far I could solve all problems I've encountered using forums and google For compiling and loading I use the Board Manager from Digistump: Before Mac OS X Catalina which forces all applications to run on 64-bit, everything worked perfectly.
My preferred develop environment is the Arduino IDE (currently 1.8.11). I am working with the Digispark Pro since two years now.