Unverified Commit e42b840d authored by Gaétan Lepage's avatar Gaétan Lepage Committed by GitHub
Browse files

vimPlugins.coq-lsp-nvim: init at 2024-10-28 (#374479)

parents c267ee5f da39b977

pkgs/applications/editors/vim/plugins/generated.nix

+12 −0
Original line number Diff line number Diff line
@@ -2837,6 +2837,18 @@ final: prev: 
    meta.homepage = "https://github.com/ms-jpq/coq.artifacts/";

  };













  coq-lsp-nvim = buildVimPlugin {













    pname = "coq-lsp.nvim";













    version = "2024-10-28";













    src = fetchFromGitHub {













      owner = "tomtomjhj";













      repo = "coq-lsp.nvim";













      rev = "6135ed25fc2a1b4b1b6451ed206dc38b493ff1a2";













      sha256 = "1vlz2kgc82rhycxp4qcz2bwssnzbv16wvr3gsigbl8b7rxjv5ivr";













    };













    meta.homepage = "https://github.com/tomtomjhj/coq-lsp.nvim/";













  };



























  coq-thirdparty = buildVimPlugin {















    pname = "coq.thirdparty";















    version = "2024-12-01";

































pkgs/applications/editors/vim/plugins/vim-plugin-names



+1
−0






























Original line number
Diff line number
Diff line








@@ -233,6 +233,7 @@ https://github.com/zbirenbaum/copilot-cmp/,HEAD,













https://github.com/AndreM222/copilot-lualine/,HEAD,















https://github.com/zbirenbaum/copilot.lua/,HEAD,















https://github.com/github/copilot.vim/,,













https://github.com/tomtomjhj/coq-lsp.nvim/,HEAD,















https://github.com/ms-jpq/coq.artifacts/,HEAD,















https://github.com/ms-jpq/coq.thirdparty/,HEAD,















https://github.com/jvoorhis/coq.vim/,,