jdt-language-server: 1.40.0 -> 1.42.0 (#363836)

2024-12-11 20:50:14 +02:00
parent c8019cd034 433f48f38f
commit b0dd45e2ad
1 changed files with 3 additions and 3 deletions
@@ -6,15 +6,15 @@
 }:

 let
-  timestamp = "202409261450";
+  timestamp = "202411281516";
 in
 stdenv.mkDerivation (finalAttrs: {
  pname = "jdt-language-server";
-  version = "1.40.0";
+  version = "1.42.0";

  src = fetchurl {
    url = "https://download.eclipse.org/jdtls/milestones/${finalAttrs.version}/jdt-language-server-${finalAttrs.version}-${timestamp}.tar.gz";
-    hash = "sha256-dBb8Yr76RQ4y8G7CtQPy7sXyLwscwS97juURK/ZxzxE=";
+    hash = "sha256-ddJtwD+IbAiZWKZo3Iuu3hpVmm6DvxLJYHCk7hmdxY4=";
  };

  sourceRoot = ".";