JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #143923 from RaitoBezarius/lean-nvim-plugin

Browse Source
This commit is contained in:
Sandro 2021-10-31 21:27:23 +01:00 committed by GitHub
commit bb393f95db
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/misc/vim-plugins/generated.nix
View File

@ -2866,6 +2866,18 @@ final: prev:
meta.homepage = "https://github.com/Yggdroot/LeaderF/";
};
lean-nvim = buildVimPluginFrom2Nix {
pname = "lean.nvim";
version = "2021-10-30";
src = fetchFromGitHub {
owner = "Julian";
repo = "lean.nvim";
rev = "e586b463cb0ac841556e53f5b71e3ef109007378";
sha256 = "0caq2vab9hn2i39f5848zk1d3fl1zfpcadnqnm4gwnzga3cnfpbz";
};
meta.homepage = "https://github.com/Julian/lean.nvim/";
};
lean-vim = buildVimPluginFrom2Nix {
pname = "lean.vim";
version = "2021-09-29";

1
pkgs/misc/vim-plugins/vim-plugin-names
View File

@ -302,6 +302,7 @@ jreybert/vimagit
jsfaint/gen_tags.vim
JuliaEditorSupport/deoplete-julia
JuliaEditorSupport/julia-vim
Julian/lean.nvim@main
Julian/vim-textobj-variable-segment
juliosueiras/vim-terraform-completion
junegunn/fzf.vim