Gentoo Portage Overlays - dev-util/tla-toolbox-bin

Newest News Repository news GLSAs Browse USE Flags Overlays More...

dev-util/tla-toolbox-bin

IDE for TLA+

Screenshots

tla-toolbox-bin-1.8.0-r1

~amd64

View

Download

Browse License: MIT

Overlay: stefantalpalaru

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Runtime Dependencies

tla-toolbox-bin-1.8.0-r1

x11-libs/gtk+:3