gentoo.mahdi.cz
dev-util
:tla-toolbox-bin
IDE for TLA+
tla-toolbox-bin-1.8.0-r1
MIT
download
~amd64
stefantalpalaru