Merge pull request #82992 from Tomahna/metals

metals: 0.8.2 -> 0.8.3
This commit is contained in:
Benjamin Hipple 2020-03-26 01:14:52 -04:00 committed by GitHub
commit 736d40fd4e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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