Merge pull request #51262 from dtzWill/update/wget-1.20

wget: 1.19.5 -> 1.20
This commit is contained in:
Will Dietz 2018-12-03 00:57:35 -06:00 committed by GitHub
commit dd894ad947
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -5,11 +5,12 @@
, openssl ? null }:
stdenv.mkDerivation rec {
name = "wget-1.19.5";
name = "wget-${version}";
version = "1.20";
src = fetchurl {
url = "mirror://gnu/wget/${name}.tar.lz";
sha256 = "0xfaxmlnih7dhkyks5wi4vrn0n1xshmy6gx6fb2k1120sprydyr9";
sha256 = "07k8yd8rdn27x5fbzlnsz4db7z7qnisiqhs7r1b5wzy2b9b0zf5h";
};
patches = [