Add vim.* completion with coq-3p

init.lua

@@ -1,6 +1,5 @@
 vim.g.did_load_filetypes = 1
 --TODO: switch to a more lua friendly plugin manager
-local set = vim.opt
 require('packer').startup(function()
 	use 'wbthomason/packer.nvim'
 	use "Ruthenic/filetype.nvim"
@@ -16,6 +15,7 @@ require('packer').startup(function()
 	use 'nvim-treesitter/nvim-treesitter'
 	use {'ms-jpq/coq_nvim', branch = 'coq'}
 	use {'ms-jpq/coq.artifacts', branch = 'artifacts'}
+	use {'ms-jpq/coq.thirdparty', branch = '3p'}
 	use {'noib3/cokeline.nvim', requires = 'kyazdani42/nvim-web-devicons'}
 	use 'numtostr/FTerm.nvim'
 	use 'andweeb/presence.nvim'

lua/plugins.lua

@@ -6,6 +6,10 @@ require("indent_blankline").setup {
     buftype_exclude = {"terminal"}
 }
 
+require("coq_3p") {
+	{src = "nvimlua", short_name = "nLUA"}
+}
+
 require'lspconfig'.clangd.setup{
 	coq.lsp_ensure_capabilities()
 }

plugin/packer_compiled.lua

@@ -84,6 +84,11 @@ _G.packer_plugins = {
     path = "/home/ruthenic/.local/share/nvim/site/pack/packer/start/coq.artifacts",
     url = "https://github.com/ms-jpq/coq.artifacts"
   },
+  ["coq.thirdparty"] = {
+    loaded = true,
+    path = "/home/ruthenic/.local/share/nvim/site/pack/packer/start/coq.thirdparty",
+    url = "https://github.com/ms-jpq/coq.thirdparty"
+  },
   coq_nvim = {
     loaded = true,
     path = "/home/ruthenic/.local/share/nvim/site/pack/packer/start/coq_nvim",