diff options
| author | Lengyel Balazs <ikervagyok@gmail.com> | 2020-10-30 12:31:59 +0100 |
|---|---|---|
| committer | Jonathan Ringer <jonringer@users.noreply.github.com> | 2020-11-23 18:27:55 -0800 |
| commit | ef052cf639319ccc9e95d33a3f4cbf61b021f7a1 (patch) | |
| tree | 1f86ce4ac230e8f17adcb983afbddb99663e6921 /pkgs/misc/vim-plugins | |
| parent | 3b4fcbb5d1ddc1df28b57d2384bef70dd2d530c9 (diff) | |
vimPlugins.idris2-vim: init at 2020-05-25
Diffstat (limited to 'pkgs/misc/vim-plugins')
| -rw-r--r-- | pkgs/misc/vim-plugins/generated.nix | 12 | ||||
| -rw-r--r-- | pkgs/misc/vim-plugins/vim-plugin-names | 1 |
2 files changed, 13 insertions, 0 deletions
diff --git a/pkgs/misc/vim-plugins/generated.nix b/pkgs/misc/vim-plugins/generated.nix index e39fac50d89d..51bf6876aaf1 100644 --- a/pkgs/misc/vim-plugins/generated.nix +++ b/pkgs/misc/vim-plugins/generated.nix @@ -1653,6 +1653,18 @@ let meta.homepage = "https://github.com/idris-hackers/idris-vim/"; }; + idris2-vim = buildVimPluginFrom2Nix { + pname = "idris2-vim"; + version = "2020-05-25"; + src = fetchFromGitHub { + owner = "edwinb"; + repo = "idris2-vim"; + rev = "099129e08c89d9526ad092b7980afa355ddaa24c"; + sha256 = "1gip64ni2wdd5v4crl64f20pbrx24dmr3ci7w5c9da9hs85x1p29"; + }; + meta.homepage = "https://github.com/edwinb/idris2-vim/"; + }; + Improved-AnsiEsc = buildVimPluginFrom2Nix { pname = "Improved-AnsiEsc"; version = "2015-08-26"; diff --git a/pkgs/misc/vim-plugins/vim-plugin-names b/pkgs/misc/vim-plugins/vim-plugin-names index 197f445bd357..06f50910643b 100644 --- a/pkgs/misc/vim-plugins/vim-plugin-names +++ b/pkgs/misc/vim-plugins/vim-plugin-names @@ -94,6 +94,7 @@ eagletmt/ghcmod-vim eagletmt/neco-ghc easymotion/vim-easymotion editorconfig/editorconfig-vim +edwinb/idris2-vim ehamberg/vim-cute-python eikenb/acp elixir-editors/vim-elixir |