nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-24 22:53:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
83a3076177
nixpkgs/pkgs/applications/science/logic/tlaplus
History
Dominik Xaver Hörl 86e7fa945e tlaplusToolbox: use non-binary wrapper for wrapGAppsHook 
The use of --add-flags in this derivation does not work with binary
    wrappers, which wrapGAppsHook uses since #164163.
2022-05-10 15:13:58 +02:00
..
default.nix tlaplus: 1.7.1 -> 1.7.2 2022-02-13 10:33:51 +00:00
tlaps.nix tlaps: 1.4.3 -> 1.4.5 2022-02-16 15:19:51 +01:00
toolbox.nix tlaplusToolbox: use non-binary wrapper for wrapGAppsHook 2022-05-10 15:13:58 +02:00