diff --git a/systems/darwin.nix b/systems/darwin.nix index 78c5548..35a4397 100644 --- a/systems/darwin.nix +++ b/systems/darwin.nix @@ -14,6 +14,7 @@ flake.inputs.hci.packages.${pkgs.system}.hercules-ci-cli flake.inputs.nixpkgs-match.packages.${pkgs.system}.default wezterm + utm # We must install Agda globally so that Doom-Emacs' agda config can # recognize it. It doesn't matter that our projects use Nix/direnv.