/modules/pkgs/

• ../
• ida-pro-mcp.nix
• ida-pro.nix
• open-goal-launcher.nix