tlaplus-toolbox 1.7.4 unmaintained outdated
IDE for the TLA+ tools
- Name
tlaplus-toolbox-1.7.4- Package set
- top-level
- Homepage
- http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html
- License
- MIT
- Main program
tla-toolbox- Source
- pkgs/by-name/tl/tlaplus-toolbox/package.nix:92
- Derivation
/nix/store/86mf333sps649c4xx7jnz2pzb8nzpl9g-tlaplus-toolbox-1.7.4.drv- Repology
- outdated, newest version is 1.8.0 · tlaplus-toolbox (as of 2026-10-07T10:23:38Z)
Maintainers 0
This package has no maintainers.
Dependencies 11
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| gtk3 3.24.52 | buildInputs | 7,699 | team-only | |
| copyDesktopItems 26.05pre-git | nativeBuildInputs | 704 | unmaintained setup hook | |
| makeWrapper 26.05pre-git | nativeBuildInputs | 76,854 | unmaintained setup hook | |
| unzip 6.0 | nativeBuildInputs | 76,168 | single | |
| wrapGAppsHook3 26.05pre-git | nativeBuildInputs | 2,215 | unmaintained setup hook | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| glib 2.88.3 | other input | 23,079 | team-only outdated | |
| libc 2.44 | other input | 102,426 | maintained | |
| libxtst 1.2.5 | other input | 8,537 | unmaintained | |
| stdenv 26.05pre-git | other input | 90,330 | team-only | |
| zlib 1.3.2 | other input | 102,427 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.