Merge pull request #82957 from Tomahna/metals

metals: 0.8.1 -> 0.8.2
This commit is contained in:
Mario Rodas 2020-03-19 18:56:11 -05:00 committed by GitHub
commit 32df00d973
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -2,7 +2,7 @@
let
baseName = "metals";
version = "0.8.1";
version = "0.8.2";
deps = stdenv.mkDerivation {
name = "${baseName}-deps-${version}";
buildCommand = ''
@ -15,7 +15,7 @@ let
'';
outputHashMode = "recursive";
outputHashAlgo = "sha256";
outputHash = "0m1vly213cazylg1rmfh5qk3bq65aafa0rf1anfdb3ggymylwza0";
outputHash = "09acvrfv23q1iv4sq7jhpf5frcv7dk2nq147licma5iixc726bdx";
};
in
stdenv.mkDerivation rec {