From 55d1b50998d71f1c9f4794e57278ab9c377771c2 Mon Sep 17 00:00:00 2001
From: Nathan McCarty <nathan@mccarty.io>
Date: Wed, 26 Oct 2022 17:07:30 -0400
Subject: [PATCH] Add idris deps

---
 home-manager/common/programs/devel.nix | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/home-manager/common/programs/devel.nix b/home-manager/common/programs/devel.nix
index d39ba75..0a046fa 100644
--- a/home-manager/common/programs/devel.nix
+++ b/home-manager/common/programs/devel.nix
@@ -72,8 +72,11 @@ with nLib; {
     (mkIf devel.raku { home.packages = with pkgs; [ rakudo zef ]; })
     # Idris 2 Development
     (mkIf devel.idris2 {
-      home.packages = with pkgs;
-        [ inputs.idris2.packages."${pkgs.system}".idris2 ];
+      home.packages = with pkgs; [
+        inputs.idris2.packages."${pkgs.system}".idris2
+        chez
+        gmp
+      ];
     })
   ];
 }