mirror/nix-community.nixvim
1
0
Fork 0
mirror of https://github.com/nix-community/nixvim.git synced 2025-06-21 08:35:43 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

plugins/lsp/packages: mark coqPackages.{coq-lsp,vscoq-language-server} as unpackaged

Browse source
This commit is contained in:
Gaetan Lepage 2025-03-18 16:34:26 +01:00 • committed by Gaétan Lepage
parent 4d5e3b335b
commit c15e93c157
1 changed files with 5 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

14
plugins/lsp/lsp-packages.nix
View file

@ -30,6 +30,8 @@
"codeqlls" "codeqlls"
"coffeesense" "coffeesense"
"contextive" "contextive"
# coqPackages.coq-lsp is unavailable since the bump to coq 9.0: https://github.com/NixOS/nixpkgs/pull/389454
"coq_lsp"
"css_variables" "css_variables"
"cssmodules_ls" "cssmodules_ls"
"cucumber_language_server" "cucumber_language_server"
@ -170,6 +172,8 @@
"vdmj" "vdmj"
"veridian" "veridian"
"visualforce_ls" "visualforce_ls"
# coqPackages.vscoq-language-server is unavailable since the bump to coq 9.0: https://github.com/NixOS/nixpkgs/pull/389454
"vscoqtop"
"vuels" "vuels"
"wasm_language_tools" "wasm_language_tools"
"yang_lsp" "yang_lsp"
@ -202,10 +206,6 @@
clangd = "clang-tools"; clangd = "clang-tools";
clojure_lsp = "clojure-lsp"; clojure_lsp = "clojure-lsp";
cmake = "cmake-language-server"; cmake = "cmake-language-server";
coq_lsp = [
"coqPackages"
"coq-lsp"
];
crystalline = "crystalline"; crystalline = "crystalline";
csharp_ls = "csharp-ls"; csharp_ls = "csharp-ls";
cssls = "vscode-langservers-extracted"; cssls = "vscode-langservers-extracted";
@ -406,13 +406,9 @@
vimls = "vim-language-server"; vimls = "vim-language-server";
vls = "vlang"; vls = "vlang";
volar = "vue-language-server"; volar = "vue-language-server";
vscoqtop = [
"coqPackages"
"vscoq-language-server"
];
vtsls = "vtsls"; vtsls = "vtsls";
wgsl_analyzer = "wgsl-analyzer"; wgsl_analyzer = "wgsl-analyzer";
yamlls = "yaml-language-server"; yamlls = "yaml-language-server"; # Not available in coq 9.0: https://github.com/NixOS/nixpkgs/pull/389454
zk = "zk"; zk = "zk";
zls = "zls"; zls = "zls";
}; };