1 package found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
tla-tools 1.7.0-1 5 0.53 Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX) japgolly

1 package found. Page 1 of 1.