Loading pkgs/development/compilers/idris2/idris2-lsp.nix +8 −1 Original line number Diff line number Diff line { fetchFromGitHub, idris2Packages, makeWrapper }: { lib, fetchFromGitHub, idris2Packages, makeWrapper }: let globalLibraries = let Loading Loading @@ -40,5 +40,12 @@ let wrapProgram $out/bin/idris2-lsp \ --suffix IDRIS2_PACKAGE_PATH ':' "${globalLibrariesPath}" ''; meta = with lib; { description = "Language Server for Idris2"; homepage = "https://github.com/idris-community/idris2-lsp"; license = licenses.bsd3; maintainers = with maintainers; [ mattpolzin ]; }; }; in lspPkg.executable Loading
pkgs/development/compilers/idris2/idris2-lsp.nix +8 −1 Original line number Diff line number Diff line { fetchFromGitHub, idris2Packages, makeWrapper }: { lib, fetchFromGitHub, idris2Packages, makeWrapper }: let globalLibraries = let Loading Loading @@ -40,5 +40,12 @@ let wrapProgram $out/bin/idris2-lsp \ --suffix IDRIS2_PACKAGE_PATH ':' "${globalLibrariesPath}" ''; meta = with lib; { description = "Language Server for Idris2"; homepage = "https://github.com/idris-community/idris2-lsp"; license = licenses.bsd3; maintainers = with maintainers; [ mattpolzin ]; }; }; in lspPkg.executable