Add openssl to idris shell

2025-01-08 20:30:38 -05:00 · 2025-01-08 20:30:38 -05:00 · 6077a6bf8f
parent ec0c415b1b
commit 6077a6bf8f
1 changed files with 1 additions and 1 deletions
--- a/devshells/idris2.nix
+++ b/devshells/idris2.nix
@ -23,7 +23,7 @@
              "/share"
            ];
          };
-          libPackages = with pkgs; [ readline70 ];
+          libPackages = with pkgs; [ readline70 openssl ];
        in
        pkgs.mkShell {
          buildInputs =