b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Merge pull request #246409 from ArchB1W/master

Browse source 
jdt-language-server: 1.21.0 -> 1.26.0
This commit is contained in:
Weijia Wang 2023-08-02 13:22:46 +02:00 committed by GitHub
parent a4732f5307 d4352f4098
commit c72342d2e2
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.21.0";
timestamp = "202303161431";
version = "1.26.0";
timestamp = "202307271613";
src = fetchurl {
url = "https://download.eclipse.org/jdtls/milestones/${version}/jdt-language-server-${version}-${timestamp}.tar.gz";
sha256 = "sha256-c8RDSvOgLbl05LDNelKgQXucbJnjJ7GVcut6mVT6GjA=";
sha256 = "sha256-ul/l7jsqg5UofiSu8gzm4Xg0z46HcRfmyqysamiKbFM=";
};
sourceRoot = ".";