diff options
| -rw-r--r-- | pkgs/misc/vim-plugins/generated.nix | 12 | ||||
| -rw-r--r-- | pkgs/misc/vim-plugins/vim-plugin-names | 1 |
2 files changed, 13 insertions, 0 deletions
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"; diff --git a/pkgs/misc/vim-plugins/vim-plugin-names b/pkgs/misc/vim-plugins/vim-plugin-names index e2a4b090aaa..2edab6b4ec3 100644 --- a/pkgs/misc/vim-plugins/vim-plugin-names +++ b/pkgs/misc/vim-plugins/vim-plugin-names @@ -595,6 +595,7 @@ wannesm/wmgraphviz.vim weirongxu/coc-explorer wellle/targets.vim wellle/tmux-complete.vim +whonore/Coqtail will133/vim-dirdiff wincent/command-t wincent/ferret |