diff --git a/plugins/lsp/language-servers/default.nix b/plugins/lsp/language-servers/default.nix
index 8697bb40..07df3b2f 100644
--- a/plugins/lsp/language-servers/default.nix
+++ b/plugins/lsp/language-servers/default.nix
@@ -290,7 +290,7 @@ with lib; let
     {
       name = "leanls";
       description = "Enable leanls, for Lean";
-      package = pkgs.lean;
+      package = pkgs.lean4;
     }
     {
       name = "ltex";