Merge pull request #228283 from Tomahna/metals-0.11.12

metals: 0.11.11 -> 0.11.12
This commit is contained in:
Weijia Wang 2023-04-26 12:28:20 +03:00 committed by GitHub
commit 9438f884ee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,7 +2,7 @@
stdenv.mkDerivation rec {
pname = "metals";
version = "0.11.11";
version = "0.11.12";
deps = stdenv.mkDerivation {
name = "${pname}-deps-${version}";
@ -16,7 +16,7 @@ stdenv.mkDerivation rec {
'';
outputHashMode = "recursive";
outputHashAlgo = "sha256";
outputHash = "sha256-oz4lrRnpVzc9kN+iJv+mtV/S1wdMKwJBkKpvmWCSwE0=";
outputHash = "sha256-3zYjjrd3Hc2T4vwnajiAMNfTDUprKJZnZp2waRLQjI4=";
};
nativeBuildInputs = [ makeWrapper setJavaClassPath ];