nixsearch / pkg / tlaplus-toolbox / 1.7.1
tlaplus-toolbox 1.7.1
IDE for the TLA+ tools
Linux
last changed
Pin this version
$ devbox add tlaplus-toolbox@1.7.1
$ nix shell github:NixOS/nixpkgs/01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09#tlaplus-toolbox
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-linuxLinux · x86-64 |
tlaplus-toolbox |
01b6809f7f9d | out/nix/store/89lr41ni5j9203qrpi5axfcn4ykwjsnj-tla-toolbox-1.7.1 |
JSON: /v2/pkg?name=tlaplus-toolbox · /v2/resolve?name=tlaplus-toolbox&version=1.7.1