Tool: TLA+ tools / TLC
Version reported by binary: 2026.07.03.215238
Source repository: tlaplus/tlaplus
Source PR: #1378
Head commit: 38fbd3d707b4d8aca4815734a6cb59880e1f1227
GitHub Actions run: 28672949602
Artifact ID: 8075361052
Artifact name: tla2tools
Artifact ZIP SHA-256: cd2f8c33388a56eafdf4d3784c2869c189bcaa208c6c76db80cdf3e744d1222a
JAR SHA-256: 0334cfec25bfc4389aca20be8dc4d1b3e0faf17f8555797994975ebffd4c3b47
Classification: official upstream CI development build, not the stable 1.7.4 release.
Retrieved: 2026-08-08
