vimPlugins.lean-vim: init at 2017-05-03

2019-07-28 18:28:41 +02:00 · 2019-07-28 18:28:41 +02:00 · 33b2529c7d
commit 33b2529c7d
parent 61c945ae25
2 changed files with 12 additions and 0 deletions
--- 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";
--- 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