jdt-language-server: 1.47.0 -> 1.48.0 (#420949)

This commit is contained in:
Wolfgang Walther 2025-07-11 18:22:05 +00:00 committed by GitHub
commit cdda42ea90
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -7,15 +7,15 @@
}:
let
timestamp = "202505151856";
timestamp = "202506271502";
in
stdenv.mkDerivation (finalAttrs: {
pname = "jdt-language-server";
version = "1.47.0";
version = "1.48.0";
src = fetchurl {
url = "https://download.eclipse.org/jdtls/milestones/${finalAttrs.version}/jdt-language-server-${finalAttrs.version}-${timestamp}.tar.gz";
hash = "sha256-NUJCaUk2AWzUhjWWfLKM1LBzV3na/pYwdxOdKCPM2jo=";
hash = "sha256-sKf6EkDiyvEpbVnqcJxSXUpjH779pJ5xguB+AMHeYsk=";
};
sourceRoot = ".";