mozart: switch sf downloads to mirror://

This commit is contained in:
J Phani Mahesh 2016-08-20 17:30:07 +05:30
parent 6a7cc8327c
commit bf5d09fda9

View File

@ -10,7 +10,7 @@ in stdenv.mkDerivation {
name = "mozart-binary-${version}";
src = fetchurl {
url = "http://sourceforge.net/projects/mozart-oz/files/v${version}-alpha.0/mozart2-${version}-alpha.0+build.4105.5c06ced-x86_64-linux.tar.gz";
url = "mirror://sourceforge/projects/mozart-oz/files/v${version}-alpha.0/mozart2-${version}-alpha.0+build.4105.5c06ced-x86_64-linux.tar.gz";
sha256 = "0rsfrjimjxqbwprpzzlmydl3z3aiwg5qkb052jixdxjyad7gyh5z";
};