Version updates for tla-plus-toolbox (cask).https://pkgstory.dev/https://pkgstory.dev/homebrew-cask/tla-plus-toolbox/#1.8.0https://pkgstory.dev/homebrew-cask/tla-plus-toolbox/#1.8.0tla-plus-toolbox updated to 1.8.0Tue, 08 Feb 2022 11:52:47 GMThttps://pkgstory.dev/homebrew-cask/tla-plus-toolbox/#1.7.1https://pkgstory.dev/homebrew-cask/tla-plus-toolbox/#1.7.1tla-plus-toolbox updated to 1.7.1Tue, 12 Jan 2021 21:23:25 GMThttps://pkgstory.dev/homebrew-cask/tla-plus-toolbox/#1.7.0https://pkgstory.dev/homebrew-cask/tla-plus-toolbox/#1.7.0tla-plus-toolbox updated to 1.7.0Mon, 27 Jul 2020 09:37:38 GMT