[tlaplus] TLA+ on Mac questions:

Home-brew seems to be broken. It complains about a SHA256 mismatch (see below)
Version confusion:

Home-brew wants to download 1.8.0
https://tla.msr-inria.inria.fr/tlatoolbox/ (alternate download site from TLA+ page) shows 1.7.1 as the latest.

No mention of 1.7.2 either

https://github.com/tlaplus/tlaplus (main download site) only has tlatools.jar, not the platform specific versions. It also doesn’t show any version numbers.
https://github.com/tlaplus/tlaplus/releases/tag/v1.8.0 shows a Mac version at the bottom but shows TBD in the checksums table.

The downloaded file has SHA256 81cd2276215ceda37ca629f30886c82bdce5987133d585d3fcadd47cd3df861e which matches the actual from home-brew.
Note that the checksum table on this page uses sha1 while home-brew uses sha256. No big deal unless you miss difference that and get confused.
This page shows the Clarke release (a.k.a. 1.8.0) as pre-release and 1.7.2 (Theano) as being the latest, but that tag doesn’t have platform specific releases.

None of the versions support Apple Silicon (M1/Arm). I’m thinking this is just a matter of bundling with the correct JVM right?

Home-brew output:

% brew install tla-plus-toolbox

==> Downloading https://github.com/tlaplus/tlaplus/releases/download/v1.8.0/TLAToolbox-1.8.0-mac

==> Downloading from https://objects.githubusercontent.com/github-production-release-asset-2e65b

######################################################################## 100.0%

Error: SHA256 mismatch

Expected: 0353bd93f318b90608f1d1bc0c7bc6b43f4631476f22b90d30be793e156bdb03

Actual: 81cd2276215ceda37ca629f30886c82bdce5987133d585d3fcadd47cd3df861e

File: /Users/sglaser/Library/Caches/Homebrew/downloads/6a2e007976e09956fad76e5c32ac2af20327dd95deef5a83b62ef1d8c28bcdbd--TLAToolbox-1.8.0-macosx.cocoa.x86_64.zip

To retry an incomplete download, remove the file above.