Commit da61fd19 authored by Mathew Polzin's avatar Mathew Polzin
Browse files

idris2Packages.idris2Lsp: 2024-01-21 -> 2025-09-10

parent 4d085395

pkgs/development/compilers/idris2/idris2-lsp.nix

+6 −6
Original line number Diff line number Diff line
@@ -22,24 +22,24 @@ let 
  inherit (idris2Packages) idris2Api;

  lspLib = idris2Packages.buildIdris {

    ipkgName = "lsp-lib";

    version = "2024-01-21";

    version = "2025-08-14";

    src = fetchFromGitHub {

      owner = "idris-community";

      repo = "LSP-lib";

      rev = "03851daae0c0274a02d94663d8f53143a94640da";

      hash = "sha256-ICW9oOOP70hXneJFYInuPY68SZTDw10dSxSPTW4WwWM=";

      rev = "ca77e80a392b8cfeee3aaeb150069957699cdb82";

      hash = "sha256-maXHx/OrflIdV7XPfDCRShUGZekLbLOSFQPHnL6DxnI=";

    };

    idrisLibraries = [ ];

  };



  lspPkg = idris2Packages.buildIdris {

    ipkgName = "idris2-lsp";

    version = "2024-01-21";

    version = "2025-09-10";

    src = fetchFromGitHub {

      owner = "idris-community";

      repo = "idris2-lsp";

      rev = "a77ef2d563418925aa274fa29f06880dde43f4ec";

      hash = "sha256-zjfVfkpiQS9AdmTfq0hYRSelJq5Caa9VGTuFLtSvl5o=";

      rev = "81344545c134c8e7105ecf1fdd7a1caae6647035";

      hash = "sha256-uYmg9Jd98RiO5SpRFox2xNAxY4nocPuK//zxuaIi/DM=";

    };

    idrisLibraries = [

      idris2Api