From 01ab0ba3527328a60990e28f21ab8ffcad82fb22 Mon Sep 17 00:00:00 2001
From: Alexander Nortung <alex_nortung@live.dk>
Date: Mon, 16 Jan 2023 22:52:04 +0100
Subject: [PATCH] coq: package option

---
 plugins/completion/coq.nix | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/plugins/completion/coq.nix b/plugins/completion/coq.nix
index 6b338344..59b91319 100644
--- a/plugins/completion/coq.nix
+++ b/plugins/completion/coq.nix
@@ -11,6 +11,12 @@ in
     plugins.coq-nvim = {
       enable = mkEnableOption "Enable coq-nvim";
 
+      package = mkOption {
+        type = types.package;
+        default = pkgs.vimPlugins.coq-nvim;
+        description = "Plugin to use for coq-nvim";
+      };
+
       installArtifacts = mkEnableOption "Install coq-artifacts";
 
       autoStart = mkOption {
@@ -35,7 +41,7 @@ in
     in
     mkIf cfg.enable {
       extraPlugins = [
-        plugins.coq-nvim
+        cfg.package
       ] ++ optional cfg.installArtifacts plugins.coq-artifacts;
       plugins.lsp = {
         preConfig = ''