Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
dev-util
/tla-toolbox-bin
IDE for TLA+
Screenshots
https://lamport.azurewebsites.net/tla/toolbox.html
https://github.com/tlaplus/tlaplus
tla-toolbox-bin-1.8.0-r1
~amd64
View
Download
Browse
License: MIT
Overlay:
stefantalpalaru
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
USE Flags