diff --git a/systems/darwin.nix b/systems/darwin.nix index ef46932..c97fae5 100644 --- a/systems/darwin.nix +++ b/systems/darwin.nix @@ -13,6 +13,7 @@ gh nixpkgs-fmt emanote + inputs.hci.packages.${system}.hercules-ci-cli # We must install Agda globally so that Doom-Emacs' agda config can # recognize it. It doesn't matter that our projects use Nix/direnv.