diff options
Diffstat (limited to 'pkgs/development/compilers')
17 files changed, 21 insertions, 21 deletions
diff --git a/pkgs/development/compilers/abc/default.nix b/pkgs/development/compilers/abc/default.nix index 46e905edb8f..1a71b808827 100644 --- a/pkgs/development/compilers/abc/default.nix +++ b/pkgs/development/compilers/abc/default.nix @@ -7,7 +7,7 @@ let { builder = ./builder.sh; src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/abc-1.2.0-src.tar.gz; + url = http://abc.comlab.ox.ac.uk/dists/1.2.0/files/abc-1.2.0-src.tar.gz; md5 = "aef9e8eac860f904f2a841e18770dc47"; }; @@ -39,7 +39,7 @@ let { jarname = "jedd.runtime"; builder = ./builder-binjar.sh; src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/jedd-runtime-snapshot.jar; + url = http://abc.comlab.ox.ac.uk/dists/1.2.0/files/lib/jedd-runtime-snapshot.jar; md5 = "595c5ac2f6384f4c34f1854891b5e422"; }; }; @@ -50,7 +50,7 @@ let { jarname = "javabdd"; builder = ./builder-binjar.sh; src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/javabdd_0.6.jar; + url = http://abc.comlab.ox.ac.uk/dists/1.2.0/files/lib/javabdd_0.6.jar; md5 = "6e0246e891b7431f4e7265b5b1471307"; }; }; @@ -61,7 +61,7 @@ let { jarname = "paddle"; builder = ./builder-binjar.sh; src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/paddle-snapshot.jar; + url = http://abc.comlab.ox.ac.uk/dists/1.2.0/files/lib/paddle-snapshot.jar; md5 = "a8e032310137945124a2850cd8cfc277"; }; }; @@ -72,7 +72,7 @@ let { jarname = "xact"; builder = ./builder-binjar.sh; src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/xact-complete-1.0-1.jar; + url = http://abc.comlab.ox.ac.uk/dists/1.2.0/files/lib/xact-complete-1.0-1.jar; md5 = "9810ad8762101ea691a895f0a6b7a5c3"; }; }; diff --git a/pkgs/development/compilers/abc/jasmin/default.nix b/pkgs/development/compilers/abc/jasmin/default.nix index 76e73b8d5b5..0c93e5893a5 100644 --- a/pkgs/development/compilers/abc/jasmin/default.nix +++ b/pkgs/development/compilers/abc/jasmin/default.nix @@ -5,7 +5,7 @@ stdenv.mkDerivation { builder = ./builder.sh; src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/jasmin-dev-20060422015512.tar.gz; + url = http://abc.comlab.ox.ac.uk/dists/1.2.0/files/jasmin-dev-20060422015512.tar.gz; md5 = "0e49e532b4658c959582c5d5b5e28bf1"; }; diff --git a/pkgs/development/compilers/abc/polyglot/default.nix b/pkgs/development/compilers/abc/polyglot/default.nix index 568e415cf7b..99ca28d0455 100644 --- a/pkgs/development/compilers/abc/polyglot/default.nix +++ b/pkgs/development/compilers/abc/polyglot/default.nix @@ -5,7 +5,7 @@ stdenv.mkDerivation { builder = ./builder.sh; src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/polyglot-dev-20060422015512.tar.gz; + url = http://abc.comlab.ox.ac.uk/dists/1.2.0/files/polyglot-dev-20060422015512.tar.gz; md5 = "6972fe537b4edd41872ed1cf24d24b50"; }; diff --git a/pkgs/development/compilers/abc/soot/default.nix b/pkgs/development/compilers/abc/soot/default.nix index 77f465f0a5f..818d2bde624 100644 --- a/pkgs/development/compilers/abc/soot/default.nix +++ b/pkgs/development/compilers/abc/soot/default.nix @@ -5,7 +5,7 @@ stdenv.mkDerivation { builder = ./builder.sh; src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/soot-dev-20060422015512.tar.gz; + url = http://abc.comlab.ox.ac.uk/dists/1.2.0/files/soot-dev-20060422015512.tar.gz; md5 = "20dae3e31215b7ec88e3ff32a107d713"; }; diff --git a/pkgs/development/compilers/aspectj/default.nix b/pkgs/development/compilers/aspectj/default.nix index 72b51242918..5884c5ea692 100644 --- a/pkgs/development/compilers/aspectj/default.nix +++ b/pkgs/development/compilers/aspectj/default.nix @@ -5,7 +5,7 @@ stdenv.mkDerivation { builder = ./builder.sh; src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/aspectj-1.5.2.jar; + url = http://www.mirrorservice.org/sites/download.eclipse.org/eclipseMirror/technology/aspectj/aspectj-1.5.2.jar; md5 = "64245d451549325147e3ca1ec4c9e57c"; }; diff --git a/pkgs/development/compilers/gcc-2.95/default.nix b/pkgs/development/compilers/gcc-2.95/default.nix index 223647c295b..c95a9027758 100644 --- a/pkgs/development/compilers/gcc-2.95/default.nix +++ b/pkgs/development/compilers/gcc-2.95/default.nix @@ -8,7 +8,7 @@ stdenv.mkDerivation { name = "gcc-2.95.3"; builder = ./builder.sh; src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/gcc-2.95.3.tar.gz; + url = ftp://ftp.gnu.org/pub/gnu/gcc/gcc-2.95.3.tar.gz; md5 = "f3ad4f32c2296fad758ed051b5ac8e28"; }; # !!! apply only if noSysDirs is set diff --git a/pkgs/development/compilers/gcc-3.3/default.nix b/pkgs/development/compilers/gcc-3.3/default.nix index 85420d22048..fc5d7a9bb97 100644 --- a/pkgs/development/compilers/gcc-3.3/default.nix +++ b/pkgs/development/compilers/gcc-3.3/default.nix @@ -10,7 +10,7 @@ stdenv.mkDerivation { name = "gcc-3.3.6"; builder = ./builder.sh; src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/gcc-3.3.6.tar.bz2; + url = http://ftp.gnu.org/gnu/gcc/gcc-3.3.6/gcc-3.3.6.tar.bz2; md5 = "6936616a967da5a0b46f1e7424a06414"; }; inherit noSysDirs langC langCC langF77; diff --git a/pkgs/development/compilers/gcc-3.4/default.nix b/pkgs/development/compilers/gcc-3.4/default.nix index 3ceeb7b5d99..7e1bceb6dfd 100644 --- a/pkgs/development/compilers/gcc-3.4/default.nix +++ b/pkgs/development/compilers/gcc-3.4/default.nix @@ -9,7 +9,7 @@ stdenv.mkDerivation { name = "gcc-3.4.6"; builder = ./builder.sh; src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/gcc-3.4.6.tar.bz2; + url = ftp://ftp.nluug.nl/pub/gnu/gcc/gcc-3.4.6/gcc-3.4.6.tar.bz2; md5 = "4a21ac777d4b5617283ce488b808da7b"; }; diff --git a/pkgs/development/compilers/gcc-apple/default.nix b/pkgs/development/compilers/gcc-apple/default.nix index 47d81c6e6ac..6044a93a70f 100644 --- a/pkgs/development/compilers/gcc-apple/default.nix +++ b/pkgs/development/compilers/gcc-apple/default.nix @@ -10,7 +10,7 @@ stdenv.mkDerivation { name = "gcc-4.0.1-apple-5341"; builder = ./builder.sh; src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/gcc-5341.tar.gz; + url = http://www.opensource.apple.com/darwinsource/tarballs/other/gcc-5341.tar.gz; md5 = "a135f107ddc55b773b40dfff4f049640"; }; patches = diff --git a/pkgs/development/compilers/ghc/default.nix b/pkgs/development/compilers/ghc/default.nix index 0aeb8086a1d..c175f242ff1 100644 --- a/pkgs/development/compilers/ghc/default.nix +++ b/pkgs/development/compilers/ghc/default.nix @@ -3,7 +3,7 @@ stdenv.mkDerivation { name = "ghc-6.4.2"; src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/ghc-6.4.2-src.tar.bz2; + url = http://www.haskell.org/ghc/dist/6.4.2/ghc-6.4.2-src.tar.bz2; md5 = "a394bf14e94c3bca5507d568fcc03375"; }; buildInputs = [perl ghc m4]; diff --git a/pkgs/development/compilers/gwydion-dylan/binary.nix b/pkgs/development/compilers/gwydion-dylan/binary.nix index e453bef5d45..0ac942d14b8 100644 --- a/pkgs/development/compilers/gwydion-dylan/binary.nix +++ b/pkgs/development/compilers/gwydion-dylan/binary.nix @@ -4,7 +4,7 @@ stdenv.mkDerivation { name = "binary-gwydion-dylan-2.4.0"; builder = ./binary-builder.sh; src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/gwydion-dylan-2.4.0-x86-linux.tar.gz; + url = http://www.gwydiondylan.org/downloads/binaries/linux/x86/tar/gwydion-dylan-2.4.0-x86-linux.tar.gz; md5 = "52643ad51a455d21fd4d5bf82d98914c"; }; } diff --git a/pkgs/development/compilers/gwydion-dylan/default.nix b/pkgs/development/compilers/gwydion-dylan/default.nix index 443fbaff729..7c00e65d7cc 100644 --- a/pkgs/development/compilers/gwydion-dylan/default.nix +++ b/pkgs/development/compilers/gwydion-dylan/default.nix @@ -4,7 +4,7 @@ stdenv.mkDerivation { name = "gwydion-dylan-2.4.0"; builder = ./builder.sh; src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/gwydion-dylan-2.4.0.tar.gz; + url = http://www.gwydiondylan.org/downloads/src/tar/gwydion-dylan-2.4.0.tar.gz; md5 = "7ed180bf4ef11e8e8da3bd78b45477a8"; }; diff --git a/pkgs/development/compilers/jikes/default.nix b/pkgs/development/compilers/jikes/default.nix index 30efc0083d6..21bd4167113 100644 --- a/pkgs/development/compilers/jikes/default.nix +++ b/pkgs/development/compilers/jikes/default.nix @@ -3,7 +3,7 @@ stdenv.mkDerivation { name = "jikes-1.22"; src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/jikes-1.22.tar.bz2; + url = http://mesh.dl.sourceforge.net/sourceforge/jikes/jikes-1.22.tar.bz2; md5 = "cda958c7fef6b43b803e1d1ef9afcb85"; }; } diff --git a/pkgs/development/compilers/nasm/default.nix b/pkgs/development/compilers/nasm/default.nix index 752819fa253..caf1133072c 100644 --- a/pkgs/development/compilers/nasm/default.nix +++ b/pkgs/development/compilers/nasm/default.nix @@ -4,7 +4,7 @@ stdenv.mkDerivation { name = "nasm-0.98.39"; builder = ./builder.sh; src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/nasm-0.98.39.tar.bz2; + url = http://surfnet.dl.sourceforge.net/sourceforge/nasm/nasm-0.98.39.tar.bz2; md5 = "2032ad44c7359f7a9a166a40a633e772"; }; } diff --git a/pkgs/development/compilers/ocaml/ocaml-3.09.1.nix b/pkgs/development/compilers/ocaml/ocaml-3.09.1.nix index 12e06720b96..996012d6b27 100644 --- a/pkgs/development/compilers/ocaml/ocaml-3.09.1.nix +++ b/pkgs/development/compilers/ocaml/ocaml-3.09.1.nix @@ -4,7 +4,7 @@ stdenv.mkDerivation { name = "ocaml-3.09.1"; builder = ./builder.sh; src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/ocaml-3.09.1.tar.gz; + url = http://caml.inria.fr/pub/distrib/ocaml-3.09/ocaml-3.09.1.tar.gz; md5 = "c73f4b093e27ba5bf13d62923f89befc"; }; configureScript = ./configure-3.09.1; diff --git a/pkgs/development/compilers/opencxx/default.nix b/pkgs/development/compilers/opencxx/default.nix index 8aabb10fdc3..55d06ade75b 100644 --- a/pkgs/development/compilers/opencxx/default.nix +++ b/pkgs/development/compilers/opencxx/default.nix @@ -3,7 +3,7 @@ stdenv.mkDerivation { name = "opencxx-2.8"; src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/opencxx-2.8.tar.gz; + url = http://mesh.dl.sourceforge.net/sourceforge/opencxx/opencxx-2.8.tar.gz; md5 = "0f71df82751fe8aba5122d6e0541c98a"; }; diff --git a/pkgs/development/compilers/transformers/transformers-0.4.nix b/pkgs/development/compilers/transformers/transformers-0.4.nix index f4d0049af95..557406cadca 100644 --- a/pkgs/development/compilers/transformers/transformers-0.4.nix +++ b/pkgs/development/compilers/transformers/transformers-0.4.nix @@ -5,7 +5,7 @@ stdenv.mkDerivation { name = "transformers-0.4"; src = fetchurl { - url = http://nix.cs.uu.nl/dist/tarballs/transformers-0.4.tar.bz2; + url = http://www.lrde.epita.fr/dload/transformers/transformers-0.4.tar.bz2; md5 = "19f5b752aec5f4d09cf45cc199fd5bfb"; }; |