Merge pull request #118984 from Tomahna/metals

metals: 0.10.0 -> 0.10.1
This commit is contained in:
Sandro 2021-04-10 16:32:15 +02:00 committed by GitHub
commit 937e6da44e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,7 +2,7 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "metals"; pname = "metals";
version = "0.10.0"; version = "0.10.1";
deps = stdenv.mkDerivation { deps = stdenv.mkDerivation {
name = "${pname}-deps-${version}"; name = "${pname}-deps-${version}";
@ -16,7 +16,7 @@ stdenv.mkDerivation rec {
''; '';
outputHashMode = "recursive"; outputHashMode = "recursive";
outputHashAlgo = "sha256"; outputHashAlgo = "sha256";
outputHash = "1v9br6nad6yhq9y1z4b9z6xdsjrgqh7wlxww7vp7ws28cg85mqyg"; outputHash = "0z4ddnwx510hnx6w72fxmksmnwxg8p2nqxg7i7xix24gykgmgj5a";
}; };
nativeBuildInputs = [ makeWrapper ]; nativeBuildInputs = [ makeWrapper ];