jdt-language-server 1.17.0 -> 1.19.0

This commit is contained in:
Lewis Arias 2023-01-21 21:28:57 -05:00
parent c7e15bc394
commit 3f02898c9d
No known key found for this signature in database
GPG Key ID: FEA2CD6AF1A09C91

View File

@ -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 = ".";