dev-util/tla-toolbox-bin
IDE for TLA+
-
tla-toolbox-bin-1.8.0-r1~amd64
View Download Browse License: MITOverlay: stefantalpalaru
Reverse Dependencies
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.