The 1.7.1 release was deleted from Github for unknown reasons, and the homebrew cask subsequently changed to 1.8.0 . I now re-created the 1.7.1 release on Github . Note that the two changes in the 1.7.2 release are also part of the upcoming 1.8.0 release. Thus, please download 1.8.0 if you are a Toolbox user and need those two changes.
We would have to upgrade the Toolbox's Eclipse foundation and add another platform to our build for the next release to work natively on Apple Silicon (without Rosetta). Please reach out to me if you can help.
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/022DE3F7-CD7A-4DBA-9C76-A8F1BC2C0622%40lemmster.de.