BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

jdt-language-server: 1.13.0 -> 1.16.0

Browse source
This commit is contained in:
Payas Relekar 2022-10-17 21:47:20 +05:30
parent 1e8e14925b
commit 51f219b526
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/jdt-language-server/default.nix
View file

@ -7,12 +7,12 @@
stdenv.mkDerivation rec {
pname = "jdt-language-server";
version = "1.13.0";
timestamp = "202206301721";
version = "1.16.0";
timestamp = "202209291445";
src = fetchurl {
url = "https://download.eclipse.org/jdtls/milestones/${version}/jdt-language-server-${version}-${timestamp}.tar.gz";
sha256 = "WimtKNdl9AgQaoexR7I5aWlCoR8i+VDFLcNxdvzpz8k=";
sha256 = "bf16a0c3a7034260f646206c51fba14b3c10ef68cece23b7a3c681248f5c1f3a";
};
sourceRoot = ".";