Show patches with: Series = Add TLA+ Tools (tla2tools)       |    Archived = No       |   6 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#47789,6/6] gnu: Add tla2tools. Add TLA+ Tools (tla2tools) - - - 4-- 2021-04-15 Mike Gerwitz Accepted
[bug#47789,5/6] gnu: Add java-jline-reader. Add TLA+ Tools (tla2tools) - - - 4-- 2021-04-15 Mike Gerwitz Accepted
[bug#47789,4/6] gnu: Add java-jline-terminal. Add TLA+ Tools (tla2tools) - - - 4-- 2021-04-15 Mike Gerwitz Accepted
[bug#47789,3/6] gnu: Add java-eclipse-lsp4j packages. Add TLA+ Tools (tla2tools) - - - 4-- 2021-04-15 Mike Gerwitz Accepted
[bug#47789,2/6] gnu: Add java-eclipse-xtext-xbase-lib. Add TLA+ Tools (tla2tools) - - - 4-- 2021-04-15 Mike Gerwitz Accepted
[bug#47789,1/6] gnu: Add java-gson-2.8.6. Add TLA+ Tools (tla2tools) - - - 4-- 2021-04-15 Mike Gerwitz Accepted