From 6e86a6a7772773a8a36ff3fe3ecce458ef26132a Mon Sep 17 00:00:00 2001
From: Sanchayan Maity <sanchayan@sanchayanmaity.net>
Date: Tue, 18 Jan 2022 20:08:52 +0530
Subject: [PATCH] nvim: plugins: Drop Coqtail

We are not gonna be pursuing studying Coq for quite a long while and
dropping this should allow us to drop Python provider, so drop this.
---
 nvim/.config/nvim/lua/plugins.lua | 2 --
 1 file changed, 2 deletions(-)

diff --git a/nvim/.config/nvim/lua/plugins.lua b/nvim/.config/nvim/lua/plugins.lua
index 750698d..f2e1d8b 100644
--- a/nvim/.config/nvim/lua/plugins.lua
+++ b/nvim/.config/nvim/lua/plugins.lua
@@ -73,8 +73,6 @@ local init = function ()
   -- Language support & syntax highlighting
   use 'mfussenegger/nvim-lint'
   use 'simrat39/rust-tools.nvim'
-  -- Coq
-  use 'whonore/Coqtail'
   -- treesitter based syntax highlighting
   use {
     'nvim-treesitter/nvim-treesitter',