···1010 ];
1111in
12121313-{ # URL to fetch.
1414- url
1313+{ # Path to fetch.
1414+ path
15151616 # Hash of the downloaded file
1717, sha256
···1919, # Additional curl options needed for the download to succeed.
2020 curlOpts ? ""
21212222-, # Name of the file. If empty, use the basename of `url' (or of the
2323- # first element of `urls').
2222+, # Name of the file. If empty, use the basename of `path'.
2423 name ? ""
2524}:
26252726stdenv.mkDerivation {
2828- name = if name != "" then name else baseNameOf (toString url);
2727+ url = "https://developer.apple.com/downloads/download.action?path=${path}";
2828+2929+ name = if name != "" then name else baseNameOf path;
2930 builder = ./builder.sh;
30313132 buildInputs = [ curl ];
···3940 outputHash = sha256;
4041 outputHashMode = "flat";
41424242- inherit curlOpts url adc_user adc_pass;
4343+ inherit curlOpts adc_user adc_pass;
43444445 preferLocalBuild = true;
4545-}4646+}