From 4e9e2d5954a760b11ca8a4bc59373cc5c69c13ae Mon Sep 17 00:00:00 2001
From: sils <sils@sils.li>
Date: Sat, 29 Jul 2023 10:36:52 +0200
Subject: Fix(u/sils/nixneovim): Add coq-nvim

---
 users/sils/nixneovim/default.nix | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/users/sils/nixneovim/default.nix b/users/sils/nixneovim/default.nix
index 7477ba0..f68c7ce 100644
--- a/users/sils/nixneovim/default.nix
+++ b/users/sils/nixneovim/default.nix
@@ -19,6 +19,12 @@
         enable = true;
         autoHide = true;
       };
+      coq-nvim = {
+        enable = true;
+        autoStart = true;
+        installArtifacts = true;
+        recommendedKeymaps = true;
+      };
       lsp = {
         enable = true;
         servers = {
@@ -34,10 +40,10 @@
       mini = {
         enable = true;
       };
-			nvim-tree = {
-				enable = true;
-				git.enable = true;
-			};
+      nvim-tree = {
+        enable = true;
+        git.enable = true;
+      };
     };
   };
 }
-- 
cgit 1.4.1