I just saw another message in the forum that indicated the problem had been resolved. See this thread:
I just tested adding the board manager URL shown above into the Arduino IDE. It worked perfectly, and I was able to add the Seeed SAMD Boards package.
I then loaded the Blink example and uploaded it to the Wio Terminal. It worked fine. A few other tests with graphics and fonts confirmed that it’s working as expected.
Kent