From 6077a6bf8f0d144d7ffcc1a293abaccb4360123d Mon Sep 17 00:00:00 2001
From: Nathan McCarty <thatonelutenist@stranger.systems>
Date: Wed, 8 Jan 2025 20:30:38 -0500
Subject: [PATCH] Add openssl to idris shell

---
 devshells/idris2.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 =