From df767479723f3497767b8c629ef3ebefcefe1743 Mon Sep 17 00:00:00 2001
From: endorphin <endorphin@users.noreply.github.com>
Date: Tue, 8 Sep 2020 11:48:51 -0700
Subject: vimPlugins.Coqtail: init at 2020-09-08

---
 pkgs/misc/vim-plugins/generated.nix | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'pkgs/misc/vim-plugins/generated.nix')

diff --git a/pkgs/misc/vim-plugins/generated.nix b/pkgs/misc/vim-plugins/generated.nix
index 3b516de5c5a..e5bdc42c03c 100644
--- a/pkgs/misc/vim-plugins/generated.nix
+++ b/pkgs/misc/vim-plugins/generated.nix
@@ -568,6 +568,18 @@ let
     meta.homepage = "https://github.com/Shougo/context_filetype.vim/";
   };
 
+  Coqtail = buildVimPluginFrom2Nix {
+    pname = "Coqtail";
+    version = "2020-09-08";
+    src = fetchFromGitHub {
+      owner = "whonore";
+      repo = "Coqtail";
+      rev = "828f950097e33325912fd142aa3c4c284c081986";
+      sha256 = "1qwc40fvfbhnn160m0clab4kcd1laqibhp7rvivqnk537pw5fk6l";
+    };
+    meta.homepage = "https://github.com/whonore/Coqtail/";
+  };
+
   cosco-vim = buildVimPluginFrom2Nix {
     pname = "cosco-vim";
     version = "2018-08-07";
-- 
cgit 1.4.1