mirror/nix-community.nixvim
1
0
Fork 0
mirror of https://github.com/nix-community/nixvim.git synced 2025-06-24 17:58:38 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 4

plugins/lsp: use pkgs.lean4 for leanls

Browse source 
https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.txt#leanls
This commit is contained in:
Gaetan Lepage 2024-01-18 17:10:19 +01:00 • committed by Gaétan Lepage
parent 2db27bce4f
commit fb888e4942
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
plugins/lsp/language-servers/default.nix
View file

@ -290,7 +290,7 @@ with lib; let
{ {
name = "leanls"; name = "leanls";
description = "Enable leanls, for Lean"; description = "Enable leanls, for Lean";
package = pkgs.lean; package = pkgs.lean4;
} }
{ {
name = "ltex"; name = "ltex";