Florent C b5d3526bab tlaplus: 1.7.0 -> 1.7.1 ... This updates tlaplus to the most recent stable version and directly fetches the tlatools jar file from the official Github release page instead of building from the sources. In the previous tlaplus nix package, there was an issue with the tools when passing some command line arguments such as `-workers 4` for TLC. A java string method was not found and the program would not proceed correctly. This solves this issue.		2021-11-25 10:56:11 +01:00
..
default.nix	tlaplus: 1.7.0 -> 1.7.1	2021-11-25 10:56:11 +01:00
tlaps.nix	tlaps: deprecate phases	2021-08-16 21:54:22 +02:00
toolbox.nix	tlaplusToolbox: deprecate phases	2021-08-16 21:54:44 +02:00