From 3f02898c9d1aeb9c01e06fffc7cdbc7d5bbc7ccf Mon Sep 17 00:00:00 2001 From: Lewis Arias Date: Sat, 21 Jan 2023 21:28:57 -0500 Subject: [PATCH] jdt-language-server 1.17.0 -> 1.19.0 --- .../tools/language-servers/jdt-language-server/default.nix | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/development/tools/language-servers/jdt-language-server/default.nix b/pkgs/development/tools/language-servers/jdt-language-server/default.nix index 1af69700152d..1b194814a270 100644 --- a/pkgs/development/tools/language-servers/jdt-language-server/default.nix +++ b/pkgs/development/tools/language-servers/jdt-language-server/default.nix @@ -7,12 +7,12 @@ stdenv.mkDerivation rec { pname = "jdt-language-server"; - version = "1.17.0"; - timestamp = "202210271413"; + version = "1.19.0"; + timestamp = "202301171536"; src = fetchurl { url = "https://download.eclipse.org/jdtls/milestones/${version}/jdt-language-server-${version}-${timestamp}.tar.gz"; - sha256 = "sha256-3NVzL3o/8LXR94/3Yma42XHfwNEFEVrmUijkeMs/vL0="; + sha256 = "sha256-9rreuMw2pODzOVX5PBmUZoV5ixUDilQyTsrnyCQ+IHs="; }; sourceRoot = ".";