From 4b9cbbbe34ddcfc4855eca1d0488bbdfb3c3d33b Mon Sep 17 00:00:00 2001
From: XChy <xxs_chy@outlook.com>
Date: Mon, 22 Apr 2024 09:32:56 +0800
Subject: feat: add `coq_lsp` support (#393)

---
 lua/mason-lspconfig/mappings/filetype.lua | 1 +
 lua/mason-lspconfig/mappings/server.lua   | 1 +
 2 files changed, 2 insertions(+)

(limited to 'lua')

diff --git a/lua/mason-lspconfig/mappings/filetype.lua b/lua/mason-lspconfig/mappings/filetype.lua
index 75408f4..38a5f1b 100644
--- a/lua/mason-lspconfig/mappings/filetype.lua
+++ b/lua/mason-lspconfig/mappings/filetype.lua
@@ -31,6 +31,7 @@ return {
   comp = { "glsl_analyzer", "glslls" },
   config = { "autotools_ls" },
   context = { "ltex" },
+  coq = { "coq_lsp" },
   cpp = { "ast_grep", "clangd" },
   crystal = { "crystalline" },
   cs = { "csharp_ls", "omnisharp", "omnisharp_mono" },
diff --git a/lua/mason-lspconfig/mappings/server.lua b/lua/mason-lspconfig/mappings/server.lua
index c1f3263..1c06831 100644
--- a/lua/mason-lspconfig/mappings/server.lua
+++ b/lua/mason-lspconfig/mappings/server.lua
@@ -31,6 +31,7 @@ M.lspconfig_to_package = {
     ["clojure_lsp"] = "clojure-lsp",
     ["cmake"] = "cmake-language-server",
     ["codeqlls"] = "codeql",
+    ["coq_lsp"] = "coq-lsp",
     ["crystalline"] = "crystalline",
     ["csharp_ls"] = "csharp-language-server",
     ["cssls"] = "css-lsp",
-- 
cgit v1.2.3-70-g09d2