Package Details: tla-tools 2.1.5-1

Git Clone URL: (read-only)
Package Base: tla-tools
Description: Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX)
Upstream URL:
Licenses: custom:MSR-EULA
Submitter: alub
Maintainer: alub
Last Packager: alub
Votes: 2
Popularity: 0.000481
First Submitted: 2011-04-14 22:07
Last Updated: 2015-07-15 14:43

Latest Comments

alub commented on 2012-01-05 17:58

Thanks, it’s updated, although I don’t think anything has changed (?). Software versions and dates on Lamport’s page are a bit misleading to say the least ^_^.

Le_J commented on 2012-01-05 17:18

The source archive file "" have changed. Here are the md5sums: