2 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
tla-toolbox 1.7.4-1 4 1.00 IDE for the TLA+ tools Vincent_Hugot 2025-01-11 10:44 (UTC)
alloy 6.2.0-1 23 0.00 A lightweight modelling language for software design. dkasak 2025-01-12 16:07 (UTC)

2 packages found. Page 1 of 1.