https://www.pjrc.com/teensy/td_158/package_teensy_index.json
I've updated the test package index.
Code:https://www.pjrc.com/teensy/td_158/package_teensy_index.json
If you previously used this URL in Arduino 2.0.x, press Ctrl-Shift-P and click "Arduino: Update Package Index". The new version (which will go live soon for all users) offers only 3 stable versions: 1.58.0, 1.57.2, 1.56.1.
View attachment 30783
The only change since earlier today is additional of the AVR toolchain, so programs for Teensy 2.0 and Teensy++ 2.0 can compile.