gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

vimPlugins.coq-lsp-nvim: init at 2024-10-28

Browse Source
This commit is contained in:
"Gaetan Lepage"
2025-01-17 08:57:40 +01:00
parent c97cbc1c98
commit da39b977de
2 changed files with 13 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/editors/vim/plugins/generated.nix
+12
View File
@@ -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
View File
@@ -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/,,