diff --git a/pkgs/applications/editors/vim/plugins/generated.nix b/pkgs/applications/editors/vim/plugins/generated.nix index d4e4338ca38c..1f59c49ec957 100644 --- a/pkgs/applications/editors/vim/plugins/generated.nix +++ b/pkgs/applications/editors/vim/plugins/generated.nix @@ -6092,12 +6092,12 @@ final: prev: { idris2-nvim = buildVimPlugin { pname = "idris2-nvim"; - version = "2024-11-28"; + version = "2025-05-04"; src = fetchFromGitHub { owner = "idris-community"; repo = "idris2-nvim"; - rev = "fd051fa8dde6541a6d345e020a05d2cc8f7a3f8d"; - sha256 = "0pqrnwa3685p9lbfmy09c72nq6d3l54qbi4r9xpk43vl4b6q6j83"; + rev = "bd282b74068e53e94d0c40ccc52f59eed3be909a"; + sha256 = "0z4airqw1cdnrhd0gdgpym981dyjrj40b3ah15wwmnmbgyvmgqjl"; }; meta.homepage = "https://github.com/idris-community/idris2-nvim/"; meta.hydraPlatforms = [ ];