public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
nixpkgs/pkgs/applications/science/logic/tlaplus
History
Sarunas Valaskevicius 15e437c635 tlaToolbox: fix crash on file open dialog 
(cherry picked from commit 5b69b1f3fe471c2336aa37a7d14ec389ba3f135d)
2021-07-03 05:50:45 +00:00
..
default.nix
…
tlaps.nix
…
toolbox.nix
tlaToolbox: fix crash on file open dialog
2021-07-03 05:50:45 +00:00