diff options
author | endorphin <endorphin@users.noreply.github.com> | 2020-09-08 11:48:51 -0700 |
---|---|---|
committer | Jon <jonringer@users.noreply.github.com> | 2020-09-08 13:20:24 -0700 |
commit | df767479723f3497767b8c629ef3ebefcefe1743 (patch) | |
tree | 76bee98f5d64569a6f89ebdcd1a87c38febf4da5 /pkgs/misc/vim-plugins/generated.nix | |
parent | 91523d2d8d20ad1412b299d9789061c33b4b3ef8 (diff) | |
download | nixpkgs-df767479723f3497767b8c629ef3ebefcefe1743.tar nixpkgs-df767479723f3497767b8c629ef3ebefcefe1743.tar.gz nixpkgs-df767479723f3497767b8c629ef3ebefcefe1743.tar.bz2 nixpkgs-df767479723f3497767b8c629ef3ebefcefe1743.tar.lz nixpkgs-df767479723f3497767b8c629ef3ebefcefe1743.tar.xz nixpkgs-df767479723f3497767b8c629ef3ebefcefe1743.tar.zst nixpkgs-df767479723f3497767b8c629ef3ebefcefe1743.zip |
vimPlugins.Coqtail: init at 2020-09-08
Diffstat (limited to 'pkgs/misc/vim-plugins/generated.nix')
-rw-r--r-- | pkgs/misc/vim-plugins/generated.nix | 12 |
1 files changed, 12 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"; |