Merge pull request #246040 from Philipp-M/update-java-language-server-0.2.46

java-language-server: 0.2.38 -> 0.2.46
This commit is contained in:
Weijia Wang 2023-09-09 01:45:08 +02:00 committed by GitHub
commit e009fad56f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -12,19 +12,19 @@ let
in
maven.buildMavenPackage rec {
pname = "java-language-server";
version = "0.2.38";
version = "0.2.46";
src = fetchFromGitHub {
owner = "georgewfraser";
repo = pname;
# commit hash is used as owner sometimes forgets to set tags. See https://github.com/georgewfraser/java-language-server/issues/104
rev = "1dfdc54d1f1e57646a0ec9c0b3f4a4f094bd9f17";
sha256 = "sha256-zkbl/SLg09XK2ZhJNzWEtvFCQBRQ62273M/2+4HV1Lk=";
rev = "d7f4303cd233cdad84daffbb871dd4512a2c8da2";
sha256 = "sha256-BIcfwz+pLQarnK8XBPwDN2nrdvK8xqUo0XFXk8ZV/h0=";
};
mvnFetchExtraArgs.dontConfigure = true;
mvnParameters = "-DskipTests";
mvnHash = "sha256-XhAqd67RtETd9XvqbiEuTOwPUsUtoLkhXy2Dde7NLTo=";
mvnHash = "sha256-2uthmSjFQ43N5lgV11DsxuGce+ZptZsmRLTgjDo0M2w=";
nativeBuildInputs = [ jdk makeWrapper ];