From cdfacf0a8208b68abe77ce9493b690a402258cec Mon Sep 17 00:00:00 2001
From: Afonso Franco <me@afonsofrancof.com>
Date: Fri, 2 Dec 2022 03:39:52 +0000
Subject: [PATCH] Fixed coq artifacts import

---
 .config/nvim/lua/plugins/packer.lua | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.config/nvim/lua/plugins/packer.lua b/.config/nvim/lua/plugins/packer.lua
index 637cb04..4d39dec 100644
--- a/.config/nvim/lua/plugins/packer.lua
+++ b/.config/nvim/lua/plugins/packer.lua
@@ -37,7 +37,7 @@ local plugins = packer.startup({function(use)
 
 	}
 
-	use {"ms-jpq/coq_nvim",
+	use {"ms-jpq/coq.artifacts",
 		branch = 'artifacts',
 	}