diff options
author | Matthieu Coudron <mattator@gmail.com> | 2019-07-30 14:00:17 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-30 14:00:17 +0900 |
commit | 29d912eb825cad890442667b2e8ce77c78bb6ed3 (patch) | |
tree | 54a8904ac2c96c6b815c0f0d0bd78c1a61019e3e /pkgs/misc | |
parent | 48fefb7c491d5fcd2008f5689d95770c1041abd5 (diff) | |
parent | da5c9d54cdb093082fbea7a245d2654e63f7924a (diff) | |
download | nixlib-29d912eb825cad890442667b2e8ce77c78bb6ed3.tar nixlib-29d912eb825cad890442667b2e8ce77c78bb6ed3.tar.gz nixlib-29d912eb825cad890442667b2e8ce77c78bb6ed3.tar.bz2 nixlib-29d912eb825cad890442667b2e8ce77c78bb6ed3.tar.lz nixlib-29d912eb825cad890442667b2e8ce77c78bb6ed3.tar.xz nixlib-29d912eb825cad890442667b2e8ce77c78bb6ed3.tar.zst nixlib-29d912eb825cad890442667b2e8ce77c78bb6ed3.zip |
Merge pull request #65558 from matthias-t/lean
Vim plugins for the lean theorem prover
Diffstat (limited to 'pkgs/misc')
-rw-r--r-- | pkgs/misc/vim-plugins/generated.nix | 22 | ||||
-rw-r--r-- | pkgs/misc/vim-plugins/vim-plugin-names | 2 |
2 files changed, 24 insertions, 0 deletions
diff --git a/pkgs/misc/vim-plugins/generated.nix b/pkgs/misc/vim-plugins/generated.nix index 14e48b4a6218..78da783962a5 100644 --- a/pkgs/misc/vim-plugins/generated.nix +++ b/pkgs/misc/vim-plugins/generated.nix @@ -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"; diff --git a/pkgs/misc/vim-plugins/vim-plugin-names b/pkgs/misc/vim-plugins/vim-plugin-names index 8fc89a6a69b9..e260c6fe588a 100644 --- a/pkgs/misc/vim-plugins/vim-plugin-names +++ b/pkgs/misc/vim-plugins/vim-plugin-names @@ -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 |