This commit is contained in:
Sridhar Ratnakumar 2022-12-24 21:24:05 -05:00
parent fd670cb9bc
commit d987e02d1d

View file

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