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

vimPlugins.idris2-nvim: 2024-11-28 -> 2025-05-04 (#404682)

Browse Source
This commit is contained in:
Austin Horstman
2025-05-06 13:39:04 -05:00
committed by GitHub
parent d367554791 2bd91fe97c
commit 6b1fb0c99c
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/editors/vim/plugins/generated.nix
+3 -3
View File
@@ -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 = [ ];