3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/applications/science/logic/tlaplus
mucaho ddf1821112 tla-toolbox: 1.7.0 -> 1.7.1
* updates package version
* fixes #114741
* fixes TLC model check call
2021-03-14 12:27:35 -04:00
..
default.nix
tlaps.nix
toolbox.nix