diff --git a/.vimrc b/.vimrc
index 92fee83f84842438c118e9076155c86269ae7a13..49961e15f87baa6bfe1be1d113bc2c75cbd5066e 100644
--- a/.vimrc
+++ b/.vimrc
@@ -70,9 +70,9 @@ if has('nvim')
     "Plug 'ms-jpq/chadtree', {'branch': 'chad', 'do': 'python3 -m chadtree deps'}" ChadTree alternative
     " Coq
     " main one, might need :COQdeps to be run at install
-    Plug 'ms-jpq/coq_nvim', {'branch': 'coq'}
+    "Plug 'ms-jpq/coq_nvim', {'branch': 'coq'}
     " 9000+ Snippets
-    Plug 'ms-jpq/coq.artifacts', {'branch': 'artifacts'}
+    "Plug 'ms-jpq/coq.artifacts', {'branch': 'artifacts'}
     " Neovim GDB/LLDB integration
     Plug 'sakhnik/nvim-gdb', { 'do': ':!./install.sh' }
 endif