Merge #31331: dns-root-data: 2017-08-29 -> 2017-10-24

This commit is contained in:
Vladimír Čunát 2017-11-07 06:41:31 +01:00
commit 30c971e8d3
No known key found for this signature in database
GPG key ID: E747DF1F9575A3AA

View file

@ -4,7 +4,7 @@ let
rootHints = fetchurl {
url = "https://www.internic.net/domain/named.root";
sha256 = "01n4bqf95kbvig1hahqzmmdkpn4v7mzfc1p944gq922i5j3fjr92";
sha256 = "0vdrff4l8s8grif52dnh091s8qydhh88k25zqd9rj66sf1qwcwxl";
};
rootKey = ./root.key;
@ -13,7 +13,7 @@ let
in
stdenv.mkDerivation {
name = "dns-root-data-2017-08-29";
name = "dns-root-data-2017-10-24";
buildCommand = ''
mkdir $out