From d987e02d1d47f62cce8fb7bc6290cd1051edd44f Mon Sep 17 00:00:00 2001 From: Sridhar Ratnakumar Date: Sat, 24 Dec 2022 21:24:05 -0500 Subject: [PATCH] hci cli --- systems/darwin.nix | 1 + 1 file changed, 1 insertion(+) 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.