diff --git a/devshells/idris2.nix b/devshells/idris2.nix index ed2ed75..0a03015 100644 --- 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 =