nixsearch
nixsearch / pkg / vimPlugins.isabelle-lsp-nvim / 0-unstable-2025-12-02

vimPlugins.isabelle-lsp-nvim 0-unstable-2025-12-02

Linux and macOS last changed

Pin this version

$ devbox add vimPlugins.isabelle-lsp-nvim@0-unstable-2025-12-02
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit319e4cebef10cbb636c6ea392137b52ad105336a 
$ nix shell github:NixOS/nixpkgs/319e4cebef10cbb636c6ea392137b52ad105336a#vimPlugins.isabelle-lsp-nvim
systemsx86_64-darwin commit05988b07fb05cbcb50be6bce197b4b5f75b5e61b 
$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#vimPlugins.isabelle-lsp-nvim

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vimPlugins.isabelle-lsp-nvim 319e4cebef10
out
/nix/store/73kplg8sr57wf7cn46qbkl0n4la70sni-vimplugin-isabelle-lsp.nvim-0-unstable-2025-12-02
aarch64-linux
Linux · arm64		 vimPlugins.isabelle-lsp-nvim 319e4cebef10
out
/nix/store/2lqawh413v3svysqbh69c2hrsfpfa49n-vimplugin-isabelle-lsp.nvim-0-unstable-2025-12-02
x86_64-darwin
macOS · x86-64		 vimPlugins.isabelle-lsp-nvim 05988b07fb05
out
/nix/store/hjjbfsfhzdcfmznim6nxki4vm4vr2nvm-vimplugin-isabelle-lsp.nvim-0-unstable-2025-12-02
x86_64-linux
Linux · x86-64		 vimPlugins.isabelle-lsp-nvim 319e4cebef10
out
/nix/store/sqzq4k3d6y5pgiwz0qmbbwayvfc5yp7s-vimplugin-isabelle-lsp.nvim-0-unstable-2025-12-02
all 1 releases

JSON: /v2/pkg?name=vimPlugins.isabelle-lsp-nvim · /v2/resolve?name=vimPlugins.isabelle-lsp-nvim&version=0-unstable-2025-12-02