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

vimPlugins.{isabelle-lsp-nvim,isabelle-syn-nvim}: init (#513557)

Browse Source
This commit is contained in:
Marc Jakobi
2026-04-26 10:26:11 +00:00
committed by GitHub
parent 109d35f980 ac3d33c64b
commit 9b315e5d47
2 changed files with 28 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/editors/vim/plugins/generated.nix
+26
View File
@@ -7306,6 +7306,32 @@ final: prev: {
meta.hydraPlatforms = [ ];
};
isabelle-lsp-nvim = buildVimPlugin {
pname = "isabelle-lsp.nvim";
version = "0-unstable-2025-12-02";
src = fetchFromGitHub {
owner = "Treeniks";
repo = "isabelle-lsp.nvim";
rev = "3601b59d77cc4998de29f966ded7d4d959318be2";
hash = "sha256-2SijIavooMFft9S/fMcH/YE77wctAP0Oneg/YAR9+LM=";
};
meta.homepage = "https://github.com/Treeniks/isabelle-lsp.nvim/";
meta.hydraPlatforms = [ ];
};
isabelle-syn-nvim = buildVimPlugin {
pname = "isabelle-syn.nvim";
version = "0-unstable-2024-05-15";
src = fetchFromGitHub {
owner = "Treeniks";
repo = "isabelle-syn.nvim";
rev = "114b06dc34edf1707be7249b5a3815733e68d4c9";
hash = "sha256-f04jyExUwos9w89IeKbRdRMtWIsQYe0McAUoijq7mCA=";
};
meta.homepage = "https://github.com/Treeniks/isabelle-syn.nvim/";
meta.hydraPlatforms = [ ];
};
iswap-nvim = buildVimPlugin {
pname = "iswap.nvim";
version = "0-unstable-2026-03-25";
pkgs/applications/editors/vim/plugins/vim-plugin-names
+2
View File
@@ -560,6 +560,8 @@ https://github.com/ajbucci/ipynb.nvim/,,
https://github.com/twerth/ir_black/,,
https://github.com/Vigemus/iron.nvim/,,
https://github.com/haya14busa/is.vim/,,
https://github.com/Treeniks/isabelle-lsp.nvim/,,
https://github.com/Treeniks/isabelle-syn.nvim/,,
https://github.com/mizlan/iswap.nvim/,,
https://github.com/vim-scripts/jdaddy.vim/,,
https://github.com/mahyarmirrashed/jdd.nvim/,,