philipp
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Projects Releases Activity

Merge pull request #65558 from matthias-t/lean 

Vim plugins for the lean theorem prover
gstqt5
Matthieu Coudron 2019-07-30 14:00:17 +09:00 committed by GitHub
parent 48fefb7c49 da5c9d54cd
commit 29d912eb82
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 24 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1420,6 +1420,17 @@ let
};
};
lean-vim = buildVimPluginFrom2Nix {
pname = "lean-vim";
version = "2017-05-03";
src = fetchFromGitHub {
owner = "leanprover";
repo = "lean.vim";
rev = "2ebb71d95c072f8604385dab58398b2107337e63";
sha256 = "0rvvicw8ldaskwar5219aag93xa3qp3nqld5ddb70c6hq3bmwrnz";
};
};
lh-brackets = buildVimPluginFrom2Nix {
pname = "lh-brackets";
version = "2019-05-23";
@ -3665,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";

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

@ -161,6 +161,7 @@ lambdalisue/vim-gista
lambdalisue/vim-pager
latex-box-team/latex-box
leafgarland/typescript-vim
leanprover/lean.vim
ledger/vim-ledger
lepture/vim-jinja
lervag/vimtex
@ -214,6 +215,7 @@ mhinz/vim-startify
michaeljsmith/vim-indent-object
mileszs/ack.vim
mindriot101/vim-yapf
mk12/vim-lean
mkasa/lushtags
mopp/sky-color-clock.vim
morhetz/gruvbox