From 7b64c3cf47ddbf13ed475d70a86bff045456f6c0 Mon Sep 17 00:00:00 2001
From: pingu <nor@acorneroftheweb.com>
Date: Thu, 30 Jan 2025 16:17:25 +0100
Subject: [PATCH] Even more woooo

---
 flake.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index 8c5e823..90098cc 100644
--- a/flake.nix
+++ b/flake.nix
@@ -39,7 +39,7 @@
           .executable;
 
         devShells.default = pkgs.mkShell {
-          packages = with pkgs; [ lean4 ];
+          packages = with pkgs; [ elan ];
         };
       };
     };