ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-11-16 06:47:09 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #180010 from chvp/bump-jdtls

Browse Source 
jdt-language-server: 1.8.0 -> 1.13.0
This commit is contained in:
Bobby Rong 2022-07-05 20:29:23 +08:00 committed by GitHub
commit 43d66d071e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/development/tools/jdt-language-server/default.nix
View File

@ -7,12 +7,12 @@
stdenv.mkDerivation rec {
pname = "jdt-language-server";
version = "1.8.0";
timestamp = "202201261434";
version = "1.13.0";
timestamp = "202206301721";
src = fetchurl {
url = "https://download.eclipse.org/jdtls/milestones/${version}/jdt-language-server-${version}-${timestamp}.tar.gz";
sha256 = "0wlnsr72hncdqrbpgfl9hgwqw9d9rppq4iymnjmgfn51rjcqadv8";
sha256 = "WimtKNdl9AgQaoexR7I5aWlCoR8i+VDFLcNxdvzpz8k=";
};
sourceRoot = ".";
@ -101,4 +101,3 @@ stdenv.mkDerivation rec {
maintainers = with maintainers; [ matt-snider ];
};
}