Merge pull request #196438 from bhankas/master

2022-10-18 07:23:50 +02:00
parent b53295783e 51f219b526
commit 5c48070dcd
1 changed files with 3 additions and 3 deletions
@@ -7,12 +7,12 @@

 stdenv.mkDerivation rec {
  pname = "jdt-language-server";
-  version = "1.13.0";
-  timestamp = "202206301721";
+  version = "1.16.0";
+  timestamp = "202209291445";

  src = fetchurl {
    url = "https://download.eclipse.org/jdtls/milestones/${version}/jdt-language-server-${version}-${timestamp}.tar.gz";
-    sha256 = "WimtKNdl9AgQaoexR7I5aWlCoR8i+VDFLcNxdvzpz8k=";
+    sha256 = "bf16a0c3a7034260f646206c51fba14b3c10ef68cece23b7a3c681248f5c1f3a";
  };

  sourceRoot = ".";