1 package found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
tla-tools 1.5.7-2 4 0.00 Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX) japgolly

1 package found. Page 1 of 1.