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

kotlin-language-server: 1.3.5 -> 1.3.7
This commit is contained in:
Peder Bergebakken Sundt 2023-10-29 19:04:52 +01:00 committed by GitHub
commit 68d0889667
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,10 +2,10 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "kotlin-language-server"; pname = "kotlin-language-server";
version = "1.3.5"; version = "1.3.7";
src = fetchzip { src = fetchzip {
url = "https://github.com/fwcd/kotlin-language-server/releases/download/${version}/server.zip"; url = "https://github.com/fwcd/kotlin-language-server/releases/download/${version}/server.zip";
hash = "sha256-hoZDbhedauW1TK78rX37Gwn/6OWLXZzy8wKsUrbTmKI="; hash = "sha256-BEQywg3ZU4LtF9trntGbDp64SIWH4y93o/VVMSRP+cc=";
}; };
dontBuild = true; dontBuild = true;