jdt-language-server: 1.8.0 -> 1.13.0

This commit is contained in:
Charlotte Van Petegem 2022-07-03 15:45:16 +02:00
parent 6994e16075
commit 432bd70f7d
No known key found for this signature in database
GPG key ID: 019E764B7184435A

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 ];
};
}