From 92571081484eaf8946c213a0f3345c12b8f91ef4 Mon Sep 17 00:00:00 2001
From: Akos Horvath <koma@koma.sh>
Date: Mon, 1 Jan 2024 19:13:17 +0100
Subject: [PATCH] remove coq

---
 init.lua       |  1 -
 lua/plugin.lua | 12 ------------
 2 files changed, 13 deletions(-)

diff --git a/init.lua b/init.lua
index dc715a6..f809bf4 100644
--- a/init.lua
+++ b/init.lua
@@ -238,7 +238,6 @@ require('mason').setup()
 
 -- Ensure the servers above are installed
 local mason_lspconfig = require 'mason-lspconfig'
-local coq = require 'coq'
 
 mason_lspconfig.setup {
   ensure_installed = vim.tbl_keys(servers),
diff --git a/lua/plugin.lua b/lua/plugin.lua
index ac586ce..2e502c5 100644
--- a/lua/plugin.lua
+++ b/lua/plugin.lua
@@ -58,18 +58,6 @@ require('packer').startup({function(use)
     requires = { 'hrsh7th/cmp-nvim-lsp', 'L3MON4D3/LuaSnip', 'saadparwaiz1/cmp_luasnip' },
   }
 
-  -- coq Autocompletion
-  use {
-    'ms-jpq/coq_nvim',
-    branch = "coq",
-  }
-
-  use {
-    "ms-jpq/coq.artifacts",
-    branch = "artifacts",
-    requires = {'ms-jpq/coq_nvim'}
-  }
-
   use { -- Highlight, edit, and navigate code
     'nvim-treesitter/nvim-treesitter',
     run = function()