From fb888e4942ff717fb70ac499b916f6f9ffabeff8 Mon Sep 17 00:00:00 2001
From: Gaetan Lepage <gaetan@glepage.com>
Date: Thu, 18 Jan 2024 17:10:19 +0100
Subject: [PATCH] plugins/lsp: use pkgs.lean4 for leanls

https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.txt#leanls
---
 plugins/lsp/language-servers/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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";