Merge pull request #254693 from chvp/upd/kotlin-language-server

kotlin-language-server: 1.3.3 -> 1.3.5
This commit is contained in:
Mario Rodas 2023-09-12 19:16:11 -05:00 committed by GitHub
commit d9abf58953
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,10 +2,10 @@
stdenv.mkDerivation rec {
pname = "kotlin-language-server";
version = "1.3.3";
version = "1.3.5";
src = fetchzip {
url = "https://github.com/fwcd/kotlin-language-server/releases/download/${version}/server.zip";
hash = "sha256-m0AgPJ8KgzOxHPB33pgSFe7JQxidPkhDUga56LuaDBA=";
hash = "sha256-hoZDbhedauW1TK78rX37Gwn/6OWLXZzy8wKsUrbTmKI=";
};
dontBuild = true;
@ -34,5 +34,6 @@ stdenv.mkDerivation rec {
changelog = "https://github.com/fwcd/kotlin-language-server/blob/${version}/CHANGELOG.md";
license = lib.licenses.mit;
platforms = lib.platforms.unix;
sourceProvenance = [ lib.sourceTypes.binaryBytecode ];
};
}