dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Merge pull request #212035 from GameWizard5000/master

Browse Source 
jdt-language-server 1.17.0 -> 1.19.0
This commit is contained in:
Martin Weinelt 2023-02-01 01:39:59 +00:00 committed by GitHub
commit ee5de9e5ef
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/tools/language-servers/jdt-language-server/default.nix
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 = ".";