diff options
author | Matthias Totschnig <matthias@totschnig.org> | 2019-07-28 18:28:41 +0200 |
---|---|---|
committer | Matthias Totschnig <matthias@totschnig.org> | 2019-07-29 13:53:09 +0200 |
commit | 33b2529c7db0fd4940856974bd9f42bf1ef65d24 (patch) | |
tree | 770a1f3d65144f67ee6985fa44bea643e9e0f19a /pkgs/misc | |
parent | 61c945ae2566ec0d2ded709b6b8fde5b56c0bb6d (diff) | |
download | nixlib-33b2529c7db0fd4940856974bd9f42bf1ef65d24.tar nixlib-33b2529c7db0fd4940856974bd9f42bf1ef65d24.tar.gz nixlib-33b2529c7db0fd4940856974bd9f42bf1ef65d24.tar.bz2 nixlib-33b2529c7db0fd4940856974bd9f42bf1ef65d24.tar.lz nixlib-33b2529c7db0fd4940856974bd9f42bf1ef65d24.tar.xz nixlib-33b2529c7db0fd4940856974bd9f42bf1ef65d24.tar.zst nixlib-33b2529c7db0fd4940856974bd9f42bf1ef65d24.zip |
vimPlugins.lean-vim: init at 2017-05-03
Diffstat (limited to 'pkgs/misc')
-rw-r--r-- | pkgs/misc/vim-plugins/generated.nix | 11 | ||||
-rw-r--r-- | pkgs/misc/vim-plugins/vim-plugin-names | 1 |
2 files changed, 12 insertions, 0 deletions
diff --git a/pkgs/misc/vim-plugins/generated.nix b/pkgs/misc/vim-plugins/generated.nix index 14e48b4a6218..e7a03903bb95 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"; diff --git a/pkgs/misc/vim-plugins/vim-plugin-names b/pkgs/misc/vim-plugins/vim-plugin-names index 8fc89a6a69b9..fde9f33691bb 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 |