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