Merge pull request #8 from dao42/fix-jdt

fix jdt
dao42 · May 19, 2022 · f121764 · f121764
2 parents c2cdf1f + 71dee66
commit f121764
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pkgs/jdt-language-server/default.nix b/pkgs/jdt-language-server/default.nix
@@ -10,10 +10,10 @@ let
 
 in stdenv.mkDerivation rec {
   pname = "jdt-language-server";
-  version = "1.9.2";
+  version = "1.9.3";
 
   src = fetchurl {
-    url = "https://download.eclipse.org/jdtls/milestones/1.9.0/jdt-language-server-1.9.0-202203031534.tar.gz";
+    url = "http://119.91.141.92:8080/language-source/java/jdt-language-server-1.9.0-202203031534.tar.gz";
     sha256 = "1irg8fzrw016js9zbcnq35lagb66zdgs800y0v8pz09vrcjikbxq";
   };