diff options
Diffstat (limited to 'pkgs/misc/vim-plugins/generated.nix')
-rw-r--r-- | pkgs/misc/vim-plugins/generated.nix | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/pkgs/misc/vim-plugins/generated.nix b/pkgs/misc/vim-plugins/generated.nix index e7a03903bb9..78da783962a 100644 --- a/pkgs/misc/vim-plugins/generated.nix +++ b/pkgs/misc/vim-plugins/generated.nix @@ -3676,6 +3676,17 @@ let }; }; + vim-lean = buildVimPluginFrom2Nix { + pname = "vim-lean"; + version = "2017-07-29"; + src = fetchFromGitHub { + owner = "mk12"; + repo = "vim-lean"; + rev = "02d678e4346dce35d6b2eed9a03b2b2d3cc84127"; + sha256 = "1yw13wf7j92gk8fwkhls6bdbz2h7xbyq4qba8zsfm76rbqn7vzfg"; + }; + }; + vim-ledger = buildVimPluginFrom2Nix { pname = "vim-ledger"; version = "2019-07-03"; |