AOS Hub

tla-plus 1.7.4

2026.9.0-dev.20260928.3
Browse releases →

TLA+ tools — TLC model checker, SANY parser, PlusCal translator

aarch64-darwin aarch64-linux x86_64-darwin x86_64-linux

fieldvalue
licenseMIT AND EPL-2.0 AND BSD-3-Clause
maintainerAndyl, Inc.
homepagehttps://github.com/tlaplus/tlaplus
platformsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
latest version1.7.4
versions1

Install

Add a registry pinned to this release, then install:

apm registry add https://cdn.aos.staging.andyl.org/andyl/testing/ --name andyl-testing-2026.9.0-dev.20260928.3 --trust-key andyl-testing:Ed25519:AAAAC3NzaC1lZDI1NTE5AAAAID1J77zx10Z/VmgFa5qab2phnJEJ2JEp8mS2HnBAnzbH --tag 2026.9.0-dev.20260928.3
apm install tla-plus --registry andyl-testing-2026.9.0-dev.20260928.3

Versions

versionplatformNARclosure
1.7.4aarch64-darwin3.0 MiB422.9 MiB
store path/nix/store/d773lz3876lk4lk8xc1vjfjpldzasl75-tla-plus-1.7.4
source drv/nix/store/ym69diq27mxrngi0daa83pskx8p25sdw-tla-plus-1.7.4.drv
NAR hashsha256:10rmw…sha256:10rmwwgaa4j11z32xm80dks3q9h7b9p78qc5hypwyk6vb8zfmjg6
references7l5149v11hba…7l5149v11hbanm0ckl2qd57kr2wfxhc6 ac95p8jc2a41…ac95p8jc2a41rcagy598hm8ddicxzf5n
1.7.4aarch64-linux3.0 MiB352.0 MiB
store path/nix/store/iw37minhcjbl8cb6mwibh4glncc79ss3-tla-plus-1.7.4
source drv/nix/store/0fn07dkhpppn4h8lrl7v6zs3mczqsckw-tla-plus-1.7.4.drv
NAR hashsha256:0sa2j…sha256:0sa2j11h925nsfi0pahvdqw6fjl04px1cqjnzd3iv38s3pfir1h7
references21wfpi8xa9ps…21wfpi8xa9psg8cbfn4mmlncdbv17swa x2bi9rgi61yw…x2bi9rgi61ywjjij8fxszkxa31yrzwf6
1.7.4x86_64-darwin3.0 MiB416.0 MiB
store path/nix/store/zcb0aq0x9s6xz25hrivvajqm45dz75mc-tla-plus-1.7.4
source drv/nix/store/bpdzds2lmk56p0xl89lfxcab77zviziz-tla-plus-1.7.4.drv
NAR hashsha256:1rx1d…sha256:1rx1dai6fq4cbf66dbacz6iaqp3ia4mzvlybd28cx4pf1k3cwcag
referencesyapfg7a8xr1c…yapfg7a8xr1czzvgzz02fq4xpb5n8l6w z5zbqfb47k0x…z5zbqfb47k0x47yhaqwblf84rx8w2028
1.7.4x86_64-linux3.0 MiB739.3 MiB
store path/nix/store/78g94fja377wnyvvh67l8qikfprp5axb-tla-plus-1.7.4
source drv/nix/store/xxabjssdvgkdx8ylr2cx6cvx3ylhm3lp-tla-plus-1.7.4.drv
NAR hashsha256:1cv9k…sha256:1cv9ka3m2xbr9fl4svryc3pvzkvbap3gbwwv3021apzpb4qrjcwj
references071yhimnxva6…071yhimnxva604hfim2d7m51k593jpks sxqayfg1rmyj…sxqayfg1rmyj0pi1ldcwnwl9ckynhfwy

Documentation

View package documentation →

Dependencies

aarch64-darwin

Version 1.7.4 in this release.

Dependencies (2)

Required by (0)

No packages in this registry require it.

aarch64-linux

Version 1.7.4 in this release.

Dependencies (2)

Required by (0)

No packages in this registry require it.

x86_64-darwin

Version 1.7.4 in this release.

Dependencies (2)

Required by (0)

No packages in this registry require it.

x86_64-linux

Version 1.7.4 in this release.

Dependencies (2)

Required by (0)

No packages in this registry require it.

Raw metadata 
name         tla-plus
description  TLA+ tools — TLC model checker, SANY parser, PlusCal translator
license      MIT AND EPL-2.0 AND BSD-3-Clause
maintainer   Andyl, Inc.
homepage     https://github.com/tlaplus/tlaplus
sysroot      false

[[versions]]
version      1.7.4
  [aarch64-darwin]
  store_path    /nix/store/d773lz3876lk4lk8xc1vjfjpldzasl75-tla-plus-1.7.4
  nar_hash      sha256:10rmwwgaa4j11z32xm80dks3q9h7b9p78qc5hypwyk6vb8zfmjg6
  nar_size      3111352
  closure_size  443453712
  source_drv    /nix/store/ym69diq27mxrngi0daa83pskx8p25sdw-tla-plus-1.7.4.drv
  references    7l5149v11hbanm0ckl2qd57kr2wfxhc6 ac95p8jc2a41rcagy598hm8ddicxzf5n
  [aarch64-linux]
  store_path    /nix/store/iw37minhcjbl8cb6mwibh4glncc79ss3-tla-plus-1.7.4
  nar_hash      sha256:0sa2j11h925nsfi0pahvdqw6fjl04px1cqjnzd3iv38s3pfir1h7
  nar_size      3111352
  closure_size  369117288
  source_drv    /nix/store/0fn07dkhpppn4h8lrl7v6zs3mczqsckw-tla-plus-1.7.4.drv
  references    21wfpi8xa9psg8cbfn4mmlncdbv17swa x2bi9rgi61ywjjij8fxszkxa31yrzwf6
  [x86_64-darwin]
  store_path    /nix/store/zcb0aq0x9s6xz25hrivvajqm45dz75mc-tla-plus-1.7.4
  nar_hash      sha256:1rx1dai6fq4cbf66dbacz6iaqp3ia4mzvlybd28cx4pf1k3cwcag
  nar_size      3111352
  closure_size  436223952
  source_drv    /nix/store/bpdzds2lmk56p0xl89lfxcab77zviziz-tla-plus-1.7.4.drv
  references    yapfg7a8xr1czzvgzz02fq4xpb5n8l6w z5zbqfb47k0x47yhaqwblf84rx8w2028
  [x86_64-linux]
  store_path    /nix/store/78g94fja377wnyvvh67l8qikfprp5axb-tla-plus-1.7.4
  nar_hash      sha256:1cv9ka3m2xbr9fl4svryc3pvzkvbap3gbwwv3021apzpb4qrjcwj
  nar_size      3111352
  closure_size  775262800
  source_drv    /nix/store/xxabjssdvgkdx8ylr2cx6cvx3ylhm3lp-tla-plus-1.7.4.drv
  references    071yhimnxva604hfim2d7m51k593jpks sxqayfg1rmyj0pi1ldcwnwl9ckynhfwy