This commit is contained in:
Sridhar Ratnakumar 2023-07-15 11:49:21 -04:00
parent f0c0513fe3
commit 294bca352e

View file

@ -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.