diff options
author | J Phani Mahesh <phanimahesh@gmail.com> | 2016-08-20 17:24:53 +0530 |
---|---|---|
committer | J Phani Mahesh <phanimahesh@gmail.com> | 2016-08-20 17:24:53 +0530 |
commit | c8964601e065a6207550b46225a21772cf9f72a7 (patch) | |
tree | 94d407dde301452a3a5dcae3dd7e27c14b68a512 /pkgs/development/compilers/mlton | |
parent | 7503b0e569c6ab1fce4c9b7e021e5e05e7841be1 (diff) | |
download | nixlib-c8964601e065a6207550b46225a21772cf9f72a7.tar nixlib-c8964601e065a6207550b46225a21772cf9f72a7.tar.gz nixlib-c8964601e065a6207550b46225a21772cf9f72a7.tar.bz2 nixlib-c8964601e065a6207550b46225a21772cf9f72a7.tar.lz nixlib-c8964601e065a6207550b46225a21772cf9f72a7.tar.xz nixlib-c8964601e065a6207550b46225a21772cf9f72a7.tar.zst nixlib-c8964601e065a6207550b46225a21772cf9f72a7.zip |
mlton: switch sf downloads to mirror://
Diffstat (limited to 'pkgs/development/compilers/mlton')
-rw-r--r-- | pkgs/development/compilers/mlton/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/compilers/mlton/default.nix b/pkgs/development/compilers/mlton/default.nix index c4890c1ca886..3b8001d563eb 100644 --- a/pkgs/development/compilers/mlton/default.nix +++ b/pkgs/development/compilers/mlton/default.nix @@ -15,22 +15,22 @@ stdenv.mkDerivation rec { binSrc = if stdenv.system == "i686-linux" then (fetchurl { - url = "http://sourceforge.net/projects/mlton/files/mlton/${version}/${name}-1.x86-linux.tgz"; + url = "mirror://sourceforge/projects/mlton/files/mlton/${version}/${name}-1.x86-linux.tgz"; sha256 = "1kxjjmnw4xk2d9hpvz43w9dvyhb3025k4zvjx785c33nrwkrdn4j"; }) else if stdenv.system == "x86_64-linux" then (fetchurl { - url = "http://sourceforge.net/projects/mlton/files/mlton/${version}/${name}-1.amd64-linux.tgz"; + url = "mirror://sourceforge/projects/mlton/files/mlton/${version}/${name}-1.amd64-linux.tgz"; sha256 = "0fyhwxb4nmpirjbjcvk9f6w67gmn2gkz7xcgz0xbfih9kc015ygn"; }) else if stdenv.system == "x86_64-darwin" then (fetchurl { - url = "http://sourceforge.net/projects/mlton/files/mlton/${version}/${name}-1.amd64-darwin.gmp-macports.tgz"; + url = "mirror://sourceforge/projects/mlton/files/mlton/${version}/${name}-1.amd64-darwin.gmp-macports.tgz"; sha256 = "044wnh9hhg6if886xy805683k0as347xd37r0r1yi4x7qlxzzgx9"; }) else throw "Architecture not supported"; codeSrc = fetchurl { - url = "http://sourceforge.net/projects/mlton/files/mlton/${version}/${name}.src.tgz"; + url = "mirror://sourceforge/projects/mlton/files/mlton/${version}/${name}.src.tgz"; sha256 = "0v1x2hrh9hiqkvnbq11kf34v4i5a2x0ffxbzqaa8skyl26nmfn11"; }; |