* Copy a bunch of files to nix.cs.uu.nl.

svn path=/nixpkgs/trunk/; revision=6711

13 files changed, 17 insertions, 17 deletions

diff --git a/pkgs/development/compilers/abc/default.nix b/pkgs/development/compilers/abc/default.nix
index 1a71b808827ee..46e905edb8f89 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://abc.comlab.ox.ac.uk/dists/1.2.0/files/abc-1.2.0-src.tar.gz;
+        url = http://nix.cs.uu.nl/dist/tarballs/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://abc.comlab.ox.ac.uk/dists/1.2.0/files/lib/jedd-runtime-snapshot.jar;
+        url = http://nix.cs.uu.nl/dist/tarballs/jedd-runtime-snapshot.jar;
         md5 = "595c5ac2f6384f4c34f1854891b5e422";
       };
     };
@@ -50,7 +50,7 @@ let {
       jarname = "javabdd";
       builder = ./builder-binjar.sh;
       src = fetchurl {
-        url = http://abc.comlab.ox.ac.uk/dists/1.2.0/files/lib/javabdd_0.6.jar;
+        url = http://nix.cs.uu.nl/dist/tarballs/javabdd_0.6.jar;
         md5 = "6e0246e891b7431f4e7265b5b1471307";
       };
     };
@@ -61,7 +61,7 @@ let {
       jarname = "paddle";
       builder = ./builder-binjar.sh;
       src = fetchurl {
-        url = http://abc.comlab.ox.ac.uk/dists/1.2.0/files/lib/paddle-snapshot.jar;
+        url = http://nix.cs.uu.nl/dist/tarballs/paddle-snapshot.jar;
         md5 = "a8e032310137945124a2850cd8cfc277";
       };
     };
@@ -72,7 +72,7 @@ let {
       jarname = "xact";
       builder = ./builder-binjar.sh;
       src = fetchurl {
-        url = http://abc.comlab.ox.ac.uk/dists/1.2.0/files/lib/xact-complete-1.0-1.jar;
+        url = http://nix.cs.uu.nl/dist/tarballs/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 0c93e5893a591..76e73b8d5b5e7 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://abc.comlab.ox.ac.uk/dists/1.2.0/files/jasmin-dev-20060422015512.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/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 99ca28d045546..568e415cf7bf1 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://abc.comlab.ox.ac.uk/dists/1.2.0/files/polyglot-dev-20060422015512.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/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 818d2bde624e0..77f465f0a5fd5 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://abc.comlab.ox.ac.uk/dists/1.2.0/files/soot-dev-20060422015512.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/soot-dev-20060422015512.tar.gz;
     md5 = "20dae3e31215b7ec88e3ff32a107d713";
   };
 
diff --git a/pkgs/development/compilers/aspectj/default.nix b/pkgs/development/compilers/aspectj/default.nix
index 5884c5ea6924a..72b5124291824 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://www.mirrorservice.org/sites/download.eclipse.org/eclipseMirror/technology/aspectj/aspectj-1.5.2.jar;
+    url = http://nix.cs.uu.nl/dist/tarballs/aspectj-1.5.2.jar;
     md5 = "64245d451549325147e3ca1ec4c9e57c";
   };
 
diff --git a/pkgs/development/compilers/gcc-4.0/default.nix b/pkgs/development/compilers/gcc-4.0/default.nix
index 77fa831a5142e..ce55aa3957223 100644
--- a/pkgs/development/compilers/gcc-4.0/default.nix
+++ b/pkgs/development/compilers/gcc-4.0/default.nix
@@ -9,7 +9,7 @@ stdenv.mkDerivation {
   name = "gcc-4.0.3";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://ftp.gnu.org/pub/gnu/gcc/gcc-4.0.3/gcc-4.0.3.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/gcc-4.0.3.tar.bz2;
     md5 = "6ff1af12c53cbb3f79b27f2d6a9a3d50";
   };
   # !!! apply only if noSysDirs is set
diff --git a/pkgs/development/compilers/gcc-4.1/default.nix b/pkgs/development/compilers/gcc-4.1/default.nix
index b01cf247842a7..63265241f53c7 100644
--- a/pkgs/development/compilers/gcc-4.1/default.nix
+++ b/pkgs/development/compilers/gcc-4.1/default.nix
@@ -9,7 +9,7 @@ stdenv.mkDerivation {
   name = "gcc-4.1.1";
   builder = ./builder.sh;
   src = fetchurl {
-    url = ftp://ftp.nluug.nl/pub/gnu/gcc/gcc-4.1.1/gcc-4.1.1.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/gcc-4.1.1.tar.bz2;
     md5 = "ad9f97a4d04982ccf4fd67cb464879f3";
   };
   patches =
diff --git a/pkgs/development/compilers/gcc-apple/default.nix b/pkgs/development/compilers/gcc-apple/default.nix
index 6044a93a70fab..47d81c6e6ac88 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://www.opensource.apple.com/darwinsource/tarballs/other/gcc-5341.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/gcc-5341.tar.gz;
     md5 = "a135f107ddc55b773b40dfff4f049640";
   };
   patches =
diff --git a/pkgs/development/compilers/gcc-static-3.4/default.nix b/pkgs/development/compilers/gcc-static-3.4/default.nix
index 1f46a2f2922f1..4b2ea23e78fda 100644
--- a/pkgs/development/compilers/gcc-static-3.4/default.nix
+++ b/pkgs/development/compilers/gcc-static-3.4/default.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "gcc-static-3.4.6";
   builder = ./builder.sh;
   src = fetchurl {
-    url = ftp://ftp.nluug.nl/pub/gnu/gcc/gcc-3.4.6/gcc-3.4.6.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/gcc-3.4.6.tar.bz2;
     md5 = "4a21ac777d4b5617283ce488b808da7b";
   };
   # !!! apply only if noSysDirs is set
diff --git a/pkgs/development/compilers/ghc/boot.nix b/pkgs/development/compilers/ghc/boot.nix
index 0ec63442ccfa7..c1297ca814f17 100644
--- a/pkgs/development/compilers/ghc/boot.nix
+++ b/pkgs/development/compilers/ghc/boot.nix
@@ -6,7 +6,7 @@ stdenv.mkDerivation {
   name = "ghc-6.4.2";
   builder = ./boot.sh;
   src = fetchurl {
-    url = http://www.haskell.org/ghc/dist/6.4.2/ghc-6.4.2-i386-unknown-linux.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/ghc-6.4.2-i386-unknown-linux.tar.bz2;
     md5 = "092fe2e25dab22b926babe97cc77db1f";
   };
   buildInputs = [perl];
diff --git a/pkgs/development/compilers/ghc/default.nix b/pkgs/development/compilers/ghc/default.nix
index 44a8dcbc03d94..eea9f4de8c0e4 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://www.haskell.org/ghc/dist/6.4.2/ghc-6.4.2-src.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/ghc-6.4.2-src.tar.bz2;
     md5 = "a394bf14e94c3bca5507d568fcc03375";
   };
   buildInputs = [perl ghc m4];
diff --git a/pkgs/development/compilers/ocaml/ocaml-3.09.1.nix b/pkgs/development/compilers/ocaml/ocaml-3.09.1.nix
index afb074b9c2882..5080fb5326c7b 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://caml.inria.fr/pub/distrib/ocaml-3.09/ocaml-3.09.1.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/ocaml-3.09.1.tar.gz;
     md5 = "c73f4b093e27ba5bf13d62923f89befc";
   };
   configureScript = ./configure-3.09.1;
diff --git a/pkgs/development/compilers/qcmm/default.nix b/pkgs/development/compilers/qcmm/default.nix
index 09807f22a971c..508221aeaefa2 100644
--- a/pkgs/development/compilers/qcmm/default.nix
+++ b/pkgs/development/compilers/qcmm/default.nix
@@ -2,7 +2,7 @@
 stdenv.mkDerivation {
   name = "qcmm-2006-01-31";
   src = fetchurl {
-    url = http://losser.st-lab.cs.uu.nl/~cddouma/dist/qc--20060131.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/qc--20060131.tar.gz;
     md5 = "9097830775bcf22c9bad54f389f5db23";
   };
   buildInputs = [ mk ocaml noweb groff ];