summary refs log tree commit diff
path: root/pkgs/development
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/development')
-rw-r--r--pkgs/development/compilers/gcc-2.95/default.nix2
-rw-r--r--pkgs/development/compilers/gcc-static-3.4/default.nix2
-rw-r--r--pkgs/development/compilers/ghc/boot.nix2
-rw-r--r--pkgs/development/compilers/ghc/default.nix2
-rw-r--r--pkgs/development/compilers/gwydion-dylan/binary.nix2
-rw-r--r--pkgs/development/compilers/gwydion-dylan/default.nix2
-rw-r--r--pkgs/development/compilers/mono/default.nix2
-rw-r--r--pkgs/development/compilers/nasm/default.nix2
-rw-r--r--pkgs/development/compilers/ocaml/default.nix2
-rw-r--r--pkgs/development/interpreters/clisp/default.nix2
-rw-r--r--pkgs/development/interpreters/guile/default.nix2
-rw-r--r--pkgs/development/interpreters/kaffe/default.nix2
-rw-r--r--pkgs/development/interpreters/octave/default.nix2
-rw-r--r--pkgs/development/interpreters/perl/default.nix2
-rw-r--r--pkgs/development/libraries/a52dec/default.nix2
-rw-r--r--pkgs/development/libraries/aterm/aterm-2.3.1.nix2
-rw-r--r--pkgs/development/libraries/audiofile/default.nix2
-rw-r--r--pkgs/development/libraries/boehm-gc/default.nix2
-rw-r--r--pkgs/development/libraries/chmlib/default.nix2
-rw-r--r--pkgs/development/libraries/expat/default.nix2
-rw-r--r--pkgs/development/libraries/gnet/default.nix2
-rw-r--r--pkgs/development/libraries/gnome/src-gnome-desktop-2.8.3.nix18
-rw-r--r--pkgs/development/libraries/gnome/src-gnome-platform-2.8.3.nix44
-rw-r--r--pkgs/development/libraries/gtk-libs-1.x/gdk-pixbuf/default.nix2
-rw-r--r--pkgs/development/libraries/gtk-libs-1.x/glib/default.nix2
-rw-r--r--pkgs/development/libraries/gtk-libs-1.x/gtk+/default.nix2
-rw-r--r--pkgs/development/libraries/gtk-libs-2.2/atk/default.nix2
-rw-r--r--pkgs/development/libraries/gtk-libs-2.2/glib/default.nix2
-rw-r--r--pkgs/development/libraries/gtk-libs-2.2/gtk+/default.nix2
-rw-r--r--pkgs/development/libraries/gtk-libs-2.2/pango/default.nix2
-rw-r--r--pkgs/development/libraries/gtk-libs-2.4/atk/default.nix2
-rw-r--r--pkgs/development/libraries/gtk-libs-2.4/glib/default.nix2
-rw-r--r--pkgs/development/libraries/gtk-libs-2.4/gtk+/default.nix2
-rw-r--r--pkgs/development/libraries/gtk-libs-2.4/pango/default.nix2
-rw-r--r--pkgs/development/libraries/gtk-libs-2.6/atk/default.nix2
-rw-r--r--pkgs/development/libraries/gtk-libs-2.6/pango/default.nix2
-rw-r--r--pkgs/development/libraries/gtk-sharp-1/default.nix2
-rw-r--r--pkgs/development/libraries/gtk-sharp-2/default.nix2
-rw-r--r--pkgs/development/libraries/java/aterm/default.nix2
-rw-r--r--pkgs/development/libraries/java/jjtraveler/default.nix2
-rw-r--r--pkgs/development/libraries/java/saxon/default.nix2
-rw-r--r--pkgs/development/libraries/java/saxon/default8.nix2
-rw-r--r--pkgs/development/libraries/java/shared-objects/default.nix2
-rw-r--r--pkgs/development/libraries/lcms/default.nix2
-rw-r--r--pkgs/development/libraries/libcdaudio/default.nix2
-rw-r--r--pkgs/development/libraries/libdvdcss/default.nix2
-rw-r--r--pkgs/development/libraries/libdvdplay/default.nix2
-rw-r--r--pkgs/development/libraries/libdvdread/default.nix2
-rw-r--r--pkgs/development/libraries/libexif/default.nix2
-rw-r--r--pkgs/development/libraries/libgphoto2/default.nix2
-rw-r--r--pkgs/development/libraries/libjpeg/default.nix2
-rw-r--r--pkgs/development/libraries/libmad/default.nix2
-rw-r--r--pkgs/development/libraries/libogg/default.nix2
-rw-r--r--pkgs/development/libraries/libsigsegv/default.nix2
-rw-r--r--pkgs/development/libraries/libtheora/default.nix2
-rw-r--r--pkgs/development/libraries/libtiff/default.nix2
-rw-r--r--pkgs/development/libraries/libvorbis/default.nix2
-rw-r--r--pkgs/development/libraries/mesa/default.nix4
-rw-r--r--pkgs/development/libraries/mpeg2dec/default.nix2
-rw-r--r--pkgs/development/libraries/ncurses/default.nix2
-rw-r--r--pkgs/development/libraries/popt/default.nix2
-rw-r--r--pkgs/development/libraries/qt-3/default.nix2
-rw-r--r--pkgs/development/libraries/readline/default.nix2
-rw-r--r--pkgs/development/libraries/rte/default.nix2
-rw-r--r--pkgs/development/libraries/sqlite/default.nix2
-rw-r--r--pkgs/development/libraries/wxGTK-2.5/default.nix2
-rw-r--r--pkgs/development/libraries/wxGTK/default.nix2
-rw-r--r--pkgs/development/libraries/xlibs/libICE/default.nix2
-rw-r--r--pkgs/development/libraries/xlibs/libSM/default.nix2
-rw-r--r--pkgs/development/libraries/xlibs/libX11/default.nix2
-rw-r--r--pkgs/development/libraries/xlibs/libXau/default.nix2
-rw-r--r--pkgs/development/libraries/xlibs/libXaw/default.nix2
-rw-r--r--pkgs/development/libraries/xlibs/libXext/default.nix2
-rw-r--r--pkgs/development/libraries/xlibs/libXi/default.nix2
-rw-r--r--pkgs/development/libraries/xlibs/libXinerama/default.nix2
-rw-r--r--pkgs/development/libraries/xlibs/libXmu/default.nix2
-rw-r--r--pkgs/development/libraries/xlibs/libXpm/default.nix2
-rw-r--r--pkgs/development/libraries/xlibs/libXtrans/default.nix2
-rw-r--r--pkgs/development/libraries/xlibs/libXv/default.nix2
-rw-r--r--pkgs/development/libraries/xlibs/panoramixext/default.nix2
-rw-r--r--pkgs/development/libraries/xlibs/xextensions/default.nix2
-rw-r--r--pkgs/development/libraries/zvbi/default.nix2
-rw-r--r--pkgs/development/perl-modules/XML-Parser/default.nix2
-rw-r--r--pkgs/development/python-modules/wxPython-2.5/default.nix2
-rw-r--r--pkgs/development/python-modules/wxPython/default.nix2
-rw-r--r--pkgs/development/tools/build-managers/apache-ant/core-apache-ant-1.6.1.nix2
-rw-r--r--pkgs/development/tools/build-managers/gnumake/default.nix2
-rw-r--r--pkgs/development/tools/documentation/xdoc/default.nix2
-rw-r--r--pkgs/development/tools/java/jclasslib/default.nix2
-rw-r--r--pkgs/development/tools/misc/autoconf/default.nix2
-rw-r--r--pkgs/development/tools/misc/automake/automake-1.7.9.nix2
-rw-r--r--pkgs/development/tools/misc/automake/automake-1.9.x.nix2
-rw-r--r--pkgs/development/tools/misc/gperf/default.nix2
-rw-r--r--pkgs/development/tools/misc/libtool/default.nix2
-rw-r--r--pkgs/development/tools/misc/patchelf/default.nix2
-rw-r--r--pkgs/development/tools/misc/pkgconfig/default.nix2
-rw-r--r--pkgs/development/tools/misc/strace/default.nix2
-rw-r--r--pkgs/development/tools/misc/swig/default.nix2
-rw-r--r--pkgs/development/tools/misc/texinfo/default.nix2
-rw-r--r--pkgs/development/tools/misc/valgrind/default.nix2
-rw-r--r--pkgs/development/tools/parsing/asc-support/asc-support-1.8.nix2
-rw-r--r--pkgs/development/tools/parsing/asc-support/asc-support-1.9.nix2
-rw-r--r--pkgs/development/tools/parsing/asc-support/asc-support-2.0.nix2
-rw-r--r--pkgs/development/tools/parsing/asf-library/asf-library-1.0.nix2
-rw-r--r--pkgs/development/tools/parsing/asf-library/asf-library-1.1.nix2
-rw-r--r--pkgs/development/tools/parsing/asf-support/asf-support-1.2.nix2
-rw-r--r--pkgs/development/tools/parsing/asf-support/asf-support-1.3.nix2
-rw-r--r--pkgs/development/tools/parsing/asf-support/asf-support-1.4.nix2
-rw-r--r--pkgs/development/tools/parsing/bison/bison-new.nix2
-rw-r--r--pkgs/development/tools/parsing/bison/default.nix2
-rw-r--r--pkgs/development/tools/parsing/error-support/error-support-0.1.1.nix2
-rw-r--r--pkgs/development/tools/parsing/error-support/error-support-0.1.nix2
-rw-r--r--pkgs/development/tools/parsing/flex-iputils/default.nix2
-rw-r--r--pkgs/development/tools/parsing/flex-iputils/flex-new.nix2
-rw-r--r--pkgs/development/tools/parsing/flex/default.nix2
-rw-r--r--pkgs/development/tools/parsing/flex/flex-new.nix2
-rw-r--r--pkgs/development/tools/parsing/happy/default.nix2
-rw-r--r--pkgs/development/tools/parsing/pgen/pgen-2.0.nix2
-rw-r--r--pkgs/development/tools/parsing/pgen/pgen-2.1.nix2
-rw-r--r--pkgs/development/tools/parsing/pgen/pgen-2.2.nix2
-rw-r--r--pkgs/development/tools/parsing/pt-support/pt-support-1.0.nix2
-rw-r--r--pkgs/development/tools/parsing/pt-support/pt-support-1.1.nix2
-rw-r--r--pkgs/development/tools/parsing/pt-support/pt-support-1.2.nix2
-rw-r--r--pkgs/development/tools/parsing/sdf-support/sdf-support-2.0.nix2
-rw-r--r--pkgs/development/tools/parsing/sdf-support/sdf-support-2.1.1.nix2
-rw-r--r--pkgs/development/tools/parsing/sdf-support/sdf-support-2.1.nix2
-rw-r--r--pkgs/development/tools/parsing/sglr/sglr-3.10.2.nix2
-rw-r--r--pkgs/development/tools/parsing/sglr/sglr-3.11.nix2
-rw-r--r--pkgs/development/tools/parsing/sglr/sglr-3.12.nix2
-rw-r--r--pkgs/development/tools/parsing/toolbuslib/toolbuslib-0.5.1.nix2
-rw-r--r--pkgs/development/tools/parsing/toolbuslib/toolbuslib-0.6.nix2
131 files changed, 161 insertions, 161 deletions
diff --git a/pkgs/development/compilers/gcc-2.95/default.nix b/pkgs/development/compilers/gcc-2.95/default.nix
index ce5c56487fb..223647c295b 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://catamaran.labs.cs.uu.nl/dist/tarballs/gcc-2.95.3.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/gcc-2.95.3.tar.gz;
     md5 = "f3ad4f32c2296fad758ed051b5ac8e28";
   };
   # !!! apply only if noSysDirs is set
diff --git a/pkgs/development/compilers/gcc-static-3.4/default.nix b/pkgs/development/compilers/gcc-static-3.4/default.nix
index 4809e593fea..fd40db594a6 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.2";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gcc-3.4.2.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/gcc-3.4.2.tar.bz2;
     md5 = "2fada3a3effd2fd791df09df1f1534b3";
   };
   # !!! apply only if noSysDirs is set
diff --git a/pkgs/development/compilers/ghc/boot.nix b/pkgs/development/compilers/ghc/boot.nix
index 8ba747bbf22..c46b3aa2fff 100644
--- a/pkgs/development/compilers/ghc/boot.nix
+++ b/pkgs/development/compilers/ghc/boot.nix
@@ -7,7 +7,7 @@ assert stdenv.system == "i686-linux";
 stdenv.mkDerivation {
   name = "ghc-6.2.1";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/ghc-6.2.1-i386-unknown-linux.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/ghc-6.2.1-i386-unknown-linux.tar.bz2;
     md5 = "48d9d6b9f7bf1f15d69e8bd732ee254c";
   };
   buildInputs = [perl];
diff --git a/pkgs/development/compilers/ghc/default.nix b/pkgs/development/compilers/ghc/default.nix
index e23f98f47ea..f6142f434ec 100644
--- a/pkgs/development/compilers/ghc/default.nix
+++ b/pkgs/development/compilers/ghc/default.nix
@@ -5,7 +5,7 @@ assert perl != null && ghc != null && m4 != null;
 stdenv.mkDerivation {
   name = "ghc-6.2.1";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/ghc-6.2.1-src.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/ghc-6.2.1-src.tar.bz2;
     md5 = "fa9f90fd6b8852679c5fc16509e94d7a";
   };
   buildInputs = [perl ghc m4];
diff --git a/pkgs/development/compilers/gwydion-dylan/binary.nix b/pkgs/development/compilers/gwydion-dylan/binary.nix
index 6e606c1abd1..e453bef5d45 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://catamaran.labs.cs.uu.nl/dist/tarballs/gwydion-dylan-2.4.0-x86-linux.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/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 7d9feba592b..443fbaff729 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://catamaran.labs.cs.uu.nl/dist/tarballs/gwydion-dylan-2.4.0.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/gwydion-dylan-2.4.0.tar.gz;
     md5 = "7ed180bf4ef11e8e8da3bd78b45477a8";
   };
 
diff --git a/pkgs/development/compilers/mono/default.nix b/pkgs/development/compilers/mono/default.nix
index 6069e299b5c..c7077418f4f 100644
--- a/pkgs/development/compilers/mono/default.nix
+++ b/pkgs/development/compilers/mono/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "mono-1.1.4";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/mono-1.1.4.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/mono-1.1.4.tar.gz;
     md5 = "66755e5f201e912cecdd19807ba62487";
   };
 
diff --git a/pkgs/development/compilers/nasm/default.nix b/pkgs/development/compilers/nasm/default.nix
index 9415c36dfc0..f1e53281030 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.38";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/nasm-0.98.38.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/nasm-0.98.38.tar.bz2;
     md5 = "9f682490c132b070d54e395cb6ee145e";
   };
 }
diff --git a/pkgs/development/compilers/ocaml/default.nix b/pkgs/development/compilers/ocaml/default.nix
index f2850b7647b..b8d86e83eb4 100644
--- a/pkgs/development/compilers/ocaml/default.nix
+++ b/pkgs/development/compilers/ocaml/default.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "ocaml-3.08.0";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/ocaml-3.08.0.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/ocaml-3.08.0.tar.gz;
     md5 = "c6ef478362295c150101cdd2efcd38e0";
   };
   configureScript = ./configure;
diff --git a/pkgs/development/interpreters/clisp/default.nix b/pkgs/development/interpreters/clisp/default.nix
index 051b0aa5523..0cb5e2333bf 100644
--- a/pkgs/development/interpreters/clisp/default.nix
+++ b/pkgs/development/interpreters/clisp/default.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "clisp-2.33.2";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/clisp-2.33.2.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/clisp-2.33.2.tar.bz2;
     md5 = "ee4ea316db1e843dcb16094bf500012f";
   };
 
diff --git a/pkgs/development/interpreters/guile/default.nix b/pkgs/development/interpreters/guile/default.nix
index 95b47eaa85f..164fc7fbfc5 100644
--- a/pkgs/development/interpreters/guile/default.nix
+++ b/pkgs/development/interpreters/guile/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "guile-1.6.7";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/guile-1.6.7.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/guile-1.6.7.tar.gz;
     md5 = "c2ff2a2231f0cbb2e838dd8701a587c5";
   };
 
diff --git a/pkgs/development/interpreters/kaffe/default.nix b/pkgs/development/interpreters/kaffe/default.nix
index d4e5bf4e109..7e5c2d5dc17 100644
--- a/pkgs/development/interpreters/kaffe/default.nix
+++ b/pkgs/development/interpreters/kaffe/default.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "kaffe-1.1.4";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/kaffe-1.1.4.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/kaffe-1.1.4.tar.gz;
     md5 = "94d6e7035ba68c2221dce68bb5b3f6e9";
   };
   inherit jikes alsaLib;
diff --git a/pkgs/development/interpreters/octave/default.nix b/pkgs/development/interpreters/octave/default.nix
index 26c4fe5c36b..713a2d88b07 100644
--- a/pkgs/development/interpreters/octave/default.nix
+++ b/pkgs/development/interpreters/octave/default.nix
@@ -6,7 +6,7 @@ assert g77.langF77;
 stdenv.mkDerivation {
   name = "octave-2.9.0";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/octave-2.9.0.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/octave-2.9.0.tar.bz2;
     md5 = "687a09033bc68f09810e947010bc8f29";
   };
   buildInputs = [g77 readline ncurses perl flex];
diff --git a/pkgs/development/interpreters/perl/default.nix b/pkgs/development/interpreters/perl/default.nix
index 90e717de513..317a04c96fa 100644
--- a/pkgs/development/interpreters/perl/default.nix
+++ b/pkgs/development/interpreters/perl/default.nix
@@ -5,7 +5,7 @@ stdenv.mkDerivation {
 
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/perl-5.8.6.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/perl-5.8.6.tar.bz2;
     md5 = "3d030b6ff2a433840edb1a407d18dc0a";
   };
 
diff --git a/pkgs/development/libraries/a52dec/default.nix b/pkgs/development/libraries/a52dec/default.nix
index 95dec16587f..45a0038c589 100644
--- a/pkgs/development/libraries/a52dec/default.nix
+++ b/pkgs/development/libraries/a52dec/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "a52dec-0.7.4";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/a52dec-0.7.4.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/a52dec-0.7.4.tar.gz;
     md5 = "caa9f5bc44232dc8aeea773fea56be80";
   };
 }
diff --git a/pkgs/development/libraries/aterm/aterm-2.3.1.nix b/pkgs/development/libraries/aterm/aterm-2.3.1.nix
index 61aa07530ee..4ce1f4a61b8 100644
--- a/pkgs/development/libraries/aterm/aterm-2.3.1.nix
+++ b/pkgs/development/libraries/aterm/aterm-2.3.1.nix
@@ -5,7 +5,7 @@ stdenv.mkDerivation {
   configureFlags = "--with-gcc";
 
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/aterm-2.3.1.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/aterm-2.3.1.tar.gz;
     md5 = "5a2d70acc45a9d301e0dba12fcaf77e7";
   };
 
diff --git a/pkgs/development/libraries/audiofile/default.nix b/pkgs/development/libraries/audiofile/default.nix
index d66b50a5540..cf41fe6c9aa 100644
--- a/pkgs/development/libraries/audiofile/default.nix
+++ b/pkgs/development/libraries/audiofile/default.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "audiofile-0.2.3";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/audiofile-0.2.5.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/audiofile-0.2.5.tar.gz;
     md5 = "fd07c62a17ceafa317929e55e51e26c5";
   };
 }
diff --git a/pkgs/development/libraries/boehm-gc/default.nix b/pkgs/development/libraries/boehm-gc/default.nix
index 68689952c56..83b400af57b 100644
--- a/pkgs/development/libraries/boehm-gc/default.nix
+++ b/pkgs/development/libraries/boehm-gc/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "boehm-gc-6.3";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gc6.3.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/gc6.3.tar.gz;
     md5 = "8b37ee18cbeb1dfd1866958e280db871";
   };
 }
diff --git a/pkgs/development/libraries/chmlib/default.nix b/pkgs/development/libraries/chmlib/default.nix
index 83551ea1826..77e3d343a44 100644
--- a/pkgs/development/libraries/chmlib/default.nix
+++ b/pkgs/development/libraries/chmlib/default.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "chmlib-0.33";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/chmlib-0.33.tbz;
+    url = http://nix.cs.uu.nl/dist/tarballs/chmlib-0.33.tbz;
     md5 = "8bc84e94f1cea65005e5cb0ab40e2e86";
   };
   buildInputs = [libtool];
diff --git a/pkgs/development/libraries/expat/default.nix b/pkgs/development/libraries/expat/default.nix
index 75f2424a5d2..bf336f70009 100644
--- a/pkgs/development/libraries/expat/default.nix
+++ b/pkgs/development/libraries/expat/default.nix
@@ -1,7 +1,7 @@
 {stdenv, fetchurl}: stdenv.mkDerivation {
   name = "expat-1.95.8";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/expat-1.95.8.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/expat-1.95.8.tar.gz;
     md5 = "aff487543845a82fe262e6e2922b4c8e";
   };
 }
diff --git a/pkgs/development/libraries/gnet/default.nix b/pkgs/development/libraries/gnet/default.nix
index ffdcd4f5498..fe3d1f85829 100644
--- a/pkgs/development/libraries/gnet/default.nix
+++ b/pkgs/development/libraries/gnet/default.nix
@@ -5,7 +5,7 @@ assert pkgconfig != null && glib != null;
 stdenv.mkDerivation {
   name = "gnet-2.0.5";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gnet-2.0.5.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/gnet-2.0.5.tar.gz;
     md5 = "126f140618de34801933d192302ed0b9";
   };
   buildInputs = [pkgconfig glib];
diff --git a/pkgs/development/libraries/gnome/src-gnome-desktop-2.8.3.nix b/pkgs/development/libraries/gnome/src-gnome-desktop-2.8.3.nix
index 67fecd88e0c..2423d4a8933 100644
--- a/pkgs/development/libraries/gnome/src-gnome-desktop-2.8.3.nix
+++ b/pkgs/development/libraries/gnome/src-gnome-desktop-2.8.3.nix
@@ -3,7 +3,7 @@
   gnomeicontheme = {
     name = "gnome-icon-theme-2.8.0";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gnome-icon-theme-2.8.0.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/gnome-icon-theme-2.8.0.tar.bz2;
       md5 = "7be016337c44c024fb22f7b94b689d7b";
     };
   };
@@ -11,7 +11,7 @@
   gnomekeyring = {
     name = "gnome-keyring-0.4.1";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gnome-keyring-0.4.1.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/gnome-keyring-0.4.1.tar.bz2;
       md5 = "031901a50273cc5a39b1305924613a1b";
     };
   };
@@ -19,7 +19,7 @@
   gtkhtml = {
     name = "gtkhtml-3.2.5";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gtkhtml-3.2.5.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/gtkhtml-3.2.5.tar.bz2;
       md5 = "86e1ce32fed536bce5b2d6e8d41b0c65";
     };
   };
@@ -27,7 +27,7 @@
   libgtkhtml = {
     name = "libgtkhtml-2.6.3";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libgtkhtml-2.6.3.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/libgtkhtml-2.6.3.tar.bz2;
       md5 = "c77789241d725e189ffc0391eda94361";
     };
   };
@@ -35,7 +35,7 @@
   gtksourceview = {
     name = "gtksourceview-1.1.1";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gtksourceview-1.1.1.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/gtksourceview-1.1.1.tar.bz2;
       md5 = "2e59c8748594181d4bf452320c8c3b5c";
     };
   };
@@ -43,7 +43,7 @@
   scrollkeeper = {
     name = "scrollkeeper-0.3.14";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/scrollkeeper-0.3.14.tar.gz;
+      url = http://nix.cs.uu.nl/dist/tarballs/scrollkeeper-0.3.14.tar.gz;
       md5 = "161eb3f29e30e7b24f84eb93ac696155";
     };
   };
@@ -51,7 +51,7 @@
   gnomedesktop = {
     name = "gnome-desktop-2.8.3";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gnome-desktop-2.8.3.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/gnome-desktop-2.8.3.tar.bz2;
       md5 = "607f8689f931336ad9a1f3f41d98a9c7";
     };
   };
@@ -59,7 +59,7 @@
   libwnck = {
     name = "libwnck-2.8.1";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libwnck-2.8.1.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/libwnck-2.8.1.tar.bz2;
       md5 = "c0a5a8478064287e167c15e3ec0e82a1";
     };
   };
@@ -67,7 +67,7 @@
   gnomepanel = {
     name = "gnome-panel-2.8.3";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gnome-panel-2.8.3.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/gnome-panel-2.8.3.tar.bz2;
       md5 = "d76a09c321e02c18e0fdecb86677550d";
     };
   };
diff --git a/pkgs/development/libraries/gnome/src-gnome-platform-2.8.3.nix b/pkgs/development/libraries/gnome/src-gnome-platform-2.8.3.nix
index 8038043c01c..133759dcb85 100644
--- a/pkgs/development/libraries/gnome/src-gnome-platform-2.8.3.nix
+++ b/pkgs/development/libraries/gnome/src-gnome-platform-2.8.3.nix
@@ -4,7 +4,7 @@
   gconf = {
     name = "GConf-2.8.1";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/GConf-2.8.1.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/GConf-2.8.1.tar.bz2;
       md5 = "b1173cbe33404bcbcc15710ce2a28f67";
     };
   };
@@ -12,7 +12,7 @@
   ORBit2 = {
     name = "ORBit2-2.12.1";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/ORBit2-2.12.1.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/ORBit2-2.12.1.tar.bz2;
       md5 = "30ede62e194f692f2dd3daa09c752196";
     };
   };
@@ -20,7 +20,7 @@
   atk = {
     name = "atk-1.8.0";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/atk-1.8.0.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/atk-1.8.0.tar.bz2;
       md5 = "fc46940febb0e91427b77457e6356f3d";
     };
   };
@@ -28,7 +28,7 @@
   audiofile = {
     name = "audiofile-0.2.6";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/audiofile-0.2.6.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/audiofile-0.2.6.tar.bz2;
       md5 = "3d01302834660850b6141cac1e6f5501";
     };
   };
@@ -36,7 +36,7 @@
   esound = {
     name = "esound-0.2.35";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/esound-0.2.35.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/esound-0.2.35.tar.bz2;
       md5 = "1566344f80a8909b5e6e4d6b6520c2c1";
     };
   };
@@ -44,7 +44,7 @@
   gail = {
     name = "gail-1.8.2";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gail-1.8.2.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/gail-1.8.2.tar.bz2;
       md5 = "3b8be198ccb8a0d92cfb0c3cdd519c1f";
     };
   };
@@ -52,7 +52,7 @@
   glib = {
     name = "glib-2.4.8";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/glib-2.4.8.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/glib-2.4.8.tar.bz2;
       md5 = "e160a5feecf46e0fbb36db09c356953c";
     };
   };
@@ -60,7 +60,7 @@
   gnomemimedata = {
     name = "gnome-mime-data-2.4.2";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gnome-mime-data-2.4.2.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/gnome-mime-data-2.4.2.tar.bz2;
       md5 = "37242776b08625fa10c73c18b790e552";
     };
   };
@@ -68,7 +68,7 @@
   gnomevfs = {
     name = "gnome-vfs-2.8.4";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gnome-vfs-2.8.4.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/gnome-vfs-2.8.4.tar.bz2;
       md5 = "42d3505e9ef9c26a7aae4e511b9b4c34";
     };
   };
@@ -76,7 +76,7 @@
   gtk = {
     name = "gtk+-2.4.14";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gtk+-2.4.14.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/gtk+-2.4.14.tar.bz2;
       md5 = "10470d574933460809e4ac488e579e26";
     };
   };
@@ -84,7 +84,7 @@
   libIDL = {
     name = "libIDL-0.8.5";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libIDL-0.8.5.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/libIDL-0.8.5.tar.bz2;
       md5 = "c63f6513dc7789d0575bea02d62d58d7";
     };
   };
@@ -92,7 +92,7 @@
   libart_lgpl = {
     name = "libart_lgpl-2.3.17";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libart_lgpl-2.3.17.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/libart_lgpl-2.3.17.tar.bz2;
       md5 = "dfca42529393c8a8f59dc4dc10675a46";
     };
   };
@@ -100,7 +100,7 @@
   libbonobo = {
     name = "libbonobo-2.8.1";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libbonobo-2.8.1.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/libbonobo-2.8.1.tar.bz2;
       md5 = "54f863c20016cf8a2cf25056f6c7cda7";
     };
   };
@@ -108,7 +108,7 @@
   libbonoboui = {
     name = "libbonoboui-2.8.1";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libbonoboui-2.8.1.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/libbonoboui-2.8.1.tar.bz2;
       md5 = "b23daafa8344a88696d497f20285ef55";
     };
   };
@@ -116,7 +116,7 @@
   libglade = {
     name = "libglade-2.4.2";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libglade-2.4.2.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/libglade-2.4.2.tar.bz2;
       md5 = "83d08f9ab485a10454bd5171d2d53fb0";
     };
   };
@@ -124,7 +124,7 @@
   libgnome = {
     name = "libgnome-2.8.1";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libgnome-2.8.1.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/libgnome-2.8.1.tar.bz2;
       md5 = "17577198f5086c48f69c361be2f4806c";
     };
   };
@@ -132,7 +132,7 @@
   libgnomecanvas = {
     name = "libgnomecanvas-2.8.0";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libgnomecanvas-2.8.0.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/libgnomecanvas-2.8.0.tar.bz2;
       md5 = "2bf10396a92777e7b64b6052a8a232f1";
     };
   };
@@ -140,7 +140,7 @@
   libgnomeprint = {
     name = "libgnomeprint-2.8.2";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libgnomeprint-2.8.2.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/libgnomeprint-2.8.2.tar.bz2;
       md5 = "8361c4e1bc3d87b91435807d0c06a3e4";
     };
   };
@@ -148,7 +148,7 @@
   libgnomeprintui = {
     name = "libgnomeprintui-2.8.2";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libgnomeprintui-2.8.2.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/libgnomeprintui-2.8.2.tar.bz2;
       md5 = "b38d1f6813dd52879ba4174ddc3f1b1c";
     };
   };
@@ -156,7 +156,7 @@
   libgnomeui = {
     name = "libgnomeui-2.8.1";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libgnomeui-2.8.1.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/libgnomeui-2.8.1.tar.bz2;
       md5 = "d46a2b34bdfbc1b36464176fa8bef03c";
     };
   };
@@ -164,7 +164,7 @@
   pango = {
     name = "pango-1.6.0";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/pango-1.6.0.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/pango-1.6.0.tar.bz2;
       md5 = "6c732bbc5fba5a0f1f8086e8aa4f490d";
     };
   };
@@ -172,7 +172,7 @@
   intltool = {
     name = "intltool-0.33";
     src = fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/intltool-0.33.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/intltool-0.33.tar.bz2;
       md5 = "7d3b6d421b0fb9beee7faf97daab45e6";
     };
   };
diff --git a/pkgs/development/libraries/gtk-libs-1.x/gdk-pixbuf/default.nix b/pkgs/development/libraries/gtk-libs-1.x/gdk-pixbuf/default.nix
index 5dc8eed02d9..4e38cb23a5b 100644
--- a/pkgs/development/libraries/gtk-libs-1.x/gdk-pixbuf/default.nix
+++ b/pkgs/development/libraries/gtk-libs-1.x/gdk-pixbuf/default.nix
@@ -7,7 +7,7 @@ stdenv.mkDerivation {
   name = "gdk-pixbuf-0.22.0";
 
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gdk-pixbuf-0.22.0.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/gdk-pixbuf-0.22.0.tar.bz2;
     md5 = "05fcb68ceaa338614ab650c775efc2f2";
   };
 
diff --git a/pkgs/development/libraries/gtk-libs-1.x/glib/default.nix b/pkgs/development/libraries/gtk-libs-1.x/glib/default.nix
index 78e9ed62199..07fa0dc28fb 100644
--- a/pkgs/development/libraries/gtk-libs-1.x/glib/default.nix
+++ b/pkgs/development/libraries/gtk-libs-1.x/glib/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "glib-1.2.10";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/glib-1.2.10.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/glib-1.2.10.tar.gz;
     md5 = "6fe30dad87c77b91b632def29dd69ef9";
   };
   # Patch for gcc 3.4 compatibility.  Based on
diff --git a/pkgs/development/libraries/gtk-libs-1.x/gtk+/default.nix b/pkgs/development/libraries/gtk-libs-1.x/gtk+/default.nix
index f8d52f96283..49c8625d044 100644
--- a/pkgs/development/libraries/gtk-libs-1.x/gtk+/default.nix
+++ b/pkgs/development/libraries/gtk-libs-1.x/gtk+/default.nix
@@ -8,7 +8,7 @@ stdenv.mkDerivation {
 
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gtk+-1.2.10.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/gtk+-1.2.10.tar.gz;
     md5 = "4d5cb2fc7fb7830e4af9747a36bfce20";
   };
 
diff --git a/pkgs/development/libraries/gtk-libs-2.2/atk/default.nix b/pkgs/development/libraries/gtk-libs-2.2/atk/default.nix
index 73f336066eb..d3ebdab0c35 100644
--- a/pkgs/development/libraries/gtk-libs-2.2/atk/default.nix
+++ b/pkgs/development/libraries/gtk-libs-2.2/atk/default.nix
@@ -5,7 +5,7 @@ assert pkgconfig != null && glib != null && perl != null;
 stdenv.mkDerivation {
   name = "atk-1.2.4";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/atk-1.2.4.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/atk-1.2.4.tar.bz2;
     md5 = "2d6d50df31abe0e8892b5d3e7676a02d";
   };
   buildInputs = [pkgconfig perl];
diff --git a/pkgs/development/libraries/gtk-libs-2.2/glib/default.nix b/pkgs/development/libraries/gtk-libs-2.2/glib/default.nix
index 51bbf4fbbda..ebd5956e69c 100644
--- a/pkgs/development/libraries/gtk-libs-2.2/glib/default.nix
+++ b/pkgs/development/libraries/gtk-libs-2.2/glib/default.nix
@@ -5,7 +5,7 @@ assert pkgconfig != null && gettext != null && perl != null;
 stdenv.mkDerivation {
   name = "glib-2.2.3";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/glib-2.2.3.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/glib-2.2.3.tar.bz2;
     md5 = "aa214a10d873b68ddd67cd9de2ccae55";
   };
   buildInputs = [pkgconfig gettext perl];
diff --git a/pkgs/development/libraries/gtk-libs-2.2/gtk+/default.nix b/pkgs/development/libraries/gtk-libs-2.2/gtk+/default.nix
index 546d5ee2cbd..a5780612f3f 100644
--- a/pkgs/development/libraries/gtk-libs-2.2/gtk+/default.nix
+++ b/pkgs/development/libraries/gtk-libs-2.2/gtk+/default.nix
@@ -12,7 +12,7 @@ assert x11.buildClientLibs;
 stdenv.mkDerivation {
   name = "gtk+-2.2.4";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gtk+-2.2.4.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/gtk+-2.2.4.tar.bz2;
     md5 = "605332199533e73bc6eec481fb4f1671";
   };
   buildInputs = [pkgconfig perl libtiff libjpeg libpng];
diff --git a/pkgs/development/libraries/gtk-libs-2.2/pango/default.nix b/pkgs/development/libraries/gtk-libs-2.2/pango/default.nix
index bc82e2da609..4457f2912a1 100644
--- a/pkgs/development/libraries/gtk-libs-2.2/pango/default.nix
+++ b/pkgs/development/libraries/gtk-libs-2.2/pango/default.nix
@@ -6,7 +6,7 @@ assert x11.buildClientLibs;
 stdenv.mkDerivation {
   name = "pango-1.2.5";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/pango-1.2.5.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/pango-1.2.5.tar.bz2;
     md5 = "df00fe3e71cd297010f24f439b6c8ee6";
   };
   buildInputs = [pkgconfig];
diff --git a/pkgs/development/libraries/gtk-libs-2.4/atk/default.nix b/pkgs/development/libraries/gtk-libs-2.4/atk/default.nix
index 727d27aab68..af46b511e1e 100644
--- a/pkgs/development/libraries/gtk-libs-2.4/atk/default.nix
+++ b/pkgs/development/libraries/gtk-libs-2.4/atk/default.nix
@@ -5,7 +5,7 @@ assert pkgconfig != null && glib != null && perl != null;
 stdenv.mkDerivation {
   name = "atk-1.6.1";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/atk-1.6.1.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/atk-1.6.1.tar.bz2;
     md5 = "f77be7e128c957bd3056c2e270b5f283";
   };
   buildInputs = [pkgconfig perl];
diff --git a/pkgs/development/libraries/gtk-libs-2.4/glib/default.nix b/pkgs/development/libraries/gtk-libs-2.4/glib/default.nix
index a2f7df49082..2dad864c936 100644
--- a/pkgs/development/libraries/gtk-libs-2.4/glib/default.nix
+++ b/pkgs/development/libraries/gtk-libs-2.4/glib/default.nix
@@ -5,7 +5,7 @@ assert pkgconfig != null && gettext != null && perl != null;
 stdenv.mkDerivation {
   name = "glib-2.4.7";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/glib-2.4.7.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/glib-2.4.7.tar.bz2;
     md5 = "eff6fec89455addf8b0dee5a19e343be";
   };
   buildInputs = [pkgconfig gettext perl];
diff --git a/pkgs/development/libraries/gtk-libs-2.4/gtk+/default.nix b/pkgs/development/libraries/gtk-libs-2.4/gtk+/default.nix
index 439722b9933..9c92dcfce29 100644
--- a/pkgs/development/libraries/gtk-libs-2.4/gtk+/default.nix
+++ b/pkgs/development/libraries/gtk-libs-2.4/gtk+/default.nix
@@ -12,7 +12,7 @@ assert x11.buildClientLibs;
 stdenv.mkDerivation {
   name = "gtk+-2.4.13";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gtk+-2.4.13.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/gtk+-2.4.13.tar.bz2;
     md5 = "3a438e1010704b11acaf060c9ba0fd7b";
   };
   buildInputs = [pkgconfig perl libtiff libjpeg libpng];
diff --git a/pkgs/development/libraries/gtk-libs-2.4/pango/default.nix b/pkgs/development/libraries/gtk-libs-2.4/pango/default.nix
index 21299d2d063..bfd1e0be546 100644
--- a/pkgs/development/libraries/gtk-libs-2.4/pango/default.nix
+++ b/pkgs/development/libraries/gtk-libs-2.4/pango/default.nix
@@ -6,7 +6,7 @@ assert x11.buildClientLibs;
 stdenv.mkDerivation {
   name = "pango-1.4.1";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/pango-1.4.1.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/pango-1.4.1.tar.bz2;
     md5 = "39868e0da250fd4c00b2970e4eb84389";
   };
   buildInputs = [pkgconfig];
diff --git a/pkgs/development/libraries/gtk-libs-2.6/atk/default.nix b/pkgs/development/libraries/gtk-libs-2.6/atk/default.nix
index f5c4c50eb6c..66720d4dbeb 100644
--- a/pkgs/development/libraries/gtk-libs-2.6/atk/default.nix
+++ b/pkgs/development/libraries/gtk-libs-2.6/atk/default.nix
@@ -5,7 +5,7 @@ assert pkgconfig != null && glib != null && perl != null;
 stdenv.mkDerivation {
   name = "atk-1.9.0";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/atk-1.9.0.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/atk-1.9.0.tar.bz2;
     md5 = "7f41bd9c6dcd83c8df391dc1805be653";
   };
   buildInputs = [pkgconfig perl];
diff --git a/pkgs/development/libraries/gtk-libs-2.6/pango/default.nix b/pkgs/development/libraries/gtk-libs-2.6/pango/default.nix
index 0df6f111f3b..15364750dff 100644
--- a/pkgs/development/libraries/gtk-libs-2.6/pango/default.nix
+++ b/pkgs/development/libraries/gtk-libs-2.6/pango/default.nix
@@ -6,7 +6,7 @@ assert x11.buildClientLibs;
 stdenv.mkDerivation {
   name = "pango-1.8.1";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/pango-1.8.1.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/pango-1.8.1.tar.bz2;
     md5 = "88aa6bf1876766db6864f3b93577887c";
   };
   buildInputs = [pkgconfig];
diff --git a/pkgs/development/libraries/gtk-sharp-1/default.nix b/pkgs/development/libraries/gtk-sharp-1/default.nix
index 062fdcce228..262e42bf000 100644
--- a/pkgs/development/libraries/gtk-sharp-1/default.nix
+++ b/pkgs/development/libraries/gtk-sharp-1/default.nix
@@ -19,7 +19,7 @@ stdenv.mkDerivation {
 
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gtk-sharp-1.0.6.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/gtk-sharp-1.0.6.tar.gz;
     md5 = "2651d14fe77174ab20b8af53d150ee11";
   };
 
diff --git a/pkgs/development/libraries/gtk-sharp-2/default.nix b/pkgs/development/libraries/gtk-sharp-2/default.nix
index d6fcbd6ef88..e308a2afa39 100644
--- a/pkgs/development/libraries/gtk-sharp-2/default.nix
+++ b/pkgs/development/libraries/gtk-sharp-2/default.nix
@@ -20,7 +20,7 @@ stdenv.mkDerivation {
 
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gtk-sharp-1.9.2.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/gtk-sharp-1.9.2.tar.gz;
     md5 = "b7c5afab5f736ffa4011974302831363";
   };
 
diff --git a/pkgs/development/libraries/java/aterm/default.nix b/pkgs/development/libraries/java/aterm/default.nix
index 893f2a608ed..5aa11ea0a4a 100644
--- a/pkgs/development/libraries/java/aterm/default.nix
+++ b/pkgs/development/libraries/java/aterm/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "aterm-java-1.6";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/aterm-java-1.6.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/aterm-java-1.6.tar.gz;
     md5 = "abf475dae2f5efca865fcdff871feb5e";
   };
   buildInputs = [stdenv j2sdk sharedobjects jjtraveler];
diff --git a/pkgs/development/libraries/java/jjtraveler/default.nix b/pkgs/development/libraries/java/jjtraveler/default.nix
index afd90c606c3..ea2c3eb46de 100644
--- a/pkgs/development/libraries/java/jjtraveler/default.nix
+++ b/pkgs/development/libraries/java/jjtraveler/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "jjtraveler-0.4.3";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/JJTraveler-0.4.3.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/JJTraveler-0.4.3.tar.gz;
     md5 = "35bf801ee61f042513ae88247fe1bf1d";
   };
   buildInputs = [stdenv j2sdk];
diff --git a/pkgs/development/libraries/java/saxon/default.nix b/pkgs/development/libraries/java/saxon/default.nix
index 3e5596e58b2..475f0ac9c9c 100644
--- a/pkgs/development/libraries/java/saxon/default.nix
+++ b/pkgs/development/libraries/java/saxon/default.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "saxon-6.5.3";
   builder = ./unzip-builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/saxon6_5_3.zip;
+    url = http://nix.cs.uu.nl/dist/tarballs/saxon6_5_3.zip;
     md5 = "7b8c7c187473c04d2abdb40d8ddab5c6";
   };
 
diff --git a/pkgs/development/libraries/java/saxon/default8.nix b/pkgs/development/libraries/java/saxon/default8.nix
index e0487da3a90..af5461d76f0 100644
--- a/pkgs/development/libraries/java/saxon/default8.nix
+++ b/pkgs/development/libraries/java/saxon/default8.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "saxonb-8.0";
   builder = ./unzip-builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/saxonb8-0.zip;
+    url = http://nix.cs.uu.nl/dist/tarballs/saxonb8-0.zip;
     md5 = "d05fbd398847ef27b2d1d875bb5136ea";
   };
 
diff --git a/pkgs/development/libraries/java/shared-objects/default.nix b/pkgs/development/libraries/java/shared-objects/default.nix
index d855f299d9e..d863679c16e 100644
--- a/pkgs/development/libraries/java/shared-objects/default.nix
+++ b/pkgs/development/libraries/java/shared-objects/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "shared-objects-1.4";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/shared-objects-1.4.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/shared-objects-1.4.tar.gz;
     md5 = "c1f2c58bd1a07be32da8a6b89354a11f";
   };
   buildInputs = [stdenv j2sdk];
diff --git a/pkgs/development/libraries/lcms/default.nix b/pkgs/development/libraries/lcms/default.nix
index b83f53137aa..e3730693659 100644
--- a/pkgs/development/libraries/lcms/default.nix
+++ b/pkgs/development/libraries/lcms/default.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "lcms-1.14";
 
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/lcms-1.14.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/lcms-1.14.tar.gz;
     md5 = "5a803460aeb10e762d97e11a37462a69";
   };
 }
diff --git a/pkgs/development/libraries/libcdaudio/default.nix b/pkgs/development/libraries/libcdaudio/default.nix
index 705d7267c51..ee328a297f6 100644
--- a/pkgs/development/libraries/libcdaudio/default.nix
+++ b/pkgs/development/libraries/libcdaudio/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "libcdaudio-0.99.12";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libcdaudio-0.99.12.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/libcdaudio-0.99.12.tar.gz;
     md5 = "63b49cf14d53eed31e7a87cca17a3963" ;
   };
 }
diff --git a/pkgs/development/libraries/libdvdcss/default.nix b/pkgs/development/libraries/libdvdcss/default.nix
index 1cf01d6e997..3af3399ea2f 100644
--- a/pkgs/development/libraries/libdvdcss/default.nix
+++ b/pkgs/development/libraries/libdvdcss/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "libdvdcss-1.2.8";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libdvdcss-1.2.8.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/libdvdcss-1.2.8.tar.gz;
     md5 = "e35e4240b6ca0b66a0218065dffe6adb";
   };
 }
diff --git a/pkgs/development/libraries/libdvdplay/default.nix b/pkgs/development/libraries/libdvdplay/default.nix
index 1b7ed9656fa..991ba758071 100644
--- a/pkgs/development/libraries/libdvdplay/default.nix
+++ b/pkgs/development/libraries/libdvdplay/default.nix
@@ -5,7 +5,7 @@ assert libdvdread != null;
 stdenv.mkDerivation {
   name = "libdvdplay-1.0.1";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libdvdplay-1.0.1.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/libdvdplay-1.0.1.tar.bz2;
     md5 = "602bca4ef78d79aa87e5e8920d958a78";
   };
   buildInputs = [libdvdread];
diff --git a/pkgs/development/libraries/libdvdread/default.nix b/pkgs/development/libraries/libdvdread/default.nix
index 809a6a3f7e5..674db2480e2 100644
--- a/pkgs/development/libraries/libdvdread/default.nix
+++ b/pkgs/development/libraries/libdvdread/default.nix
@@ -6,7 +6,7 @@ stdenv.mkDerivation {
   name = "libdvdread-20030812";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libdvdread-20030812.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/libdvdread-20030812.tar.bz2;
     md5 = "9d58beac7c2dfb98d00f4ed0ea3d7274";
   };
   buildInputs = libdvdcss;
diff --git a/pkgs/development/libraries/libexif/default.nix b/pkgs/development/libraries/libexif/default.nix
index 971597fd6fc..2a9857d77df 100644
--- a/pkgs/development/libraries/libexif/default.nix
+++ b/pkgs/development/libraries/libexif/default.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "libexif-0.6.11";
 
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libexif-0.6.11.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/libexif-0.6.11.tar.bz2;
     md5 = "211996a336f1b1a06def5a6d5c94284e";
   };
 
diff --git a/pkgs/development/libraries/libgphoto2/default.nix b/pkgs/development/libraries/libgphoto2/default.nix
index 3b41bb67750..83a383ad8da 100644
--- a/pkgs/development/libraries/libgphoto2/default.nix
+++ b/pkgs/development/libraries/libgphoto2/default.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "libgphoto2-2.1.5";
 
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libgphoto2-2.1.5.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/libgphoto2-2.1.5.tar.gz;
     md5 = "210844f0d88f58842917af6eaff06382";
   };
 }
diff --git a/pkgs/development/libraries/libjpeg/default.nix b/pkgs/development/libraries/libjpeg/default.nix
index c614311ca9e..64256e3f192 100644
--- a/pkgs/development/libraries/libjpeg/default.nix
+++ b/pkgs/development/libraries/libjpeg/default.nix
@@ -2,7 +2,7 @@
   name = "libjpeg-6b";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/jpegsrc.v6b.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/jpegsrc.v6b.tar.gz;
     md5 = "dbd5f3b47ed13132f04c685d608a7547";
   };
 }
diff --git a/pkgs/development/libraries/libmad/default.nix b/pkgs/development/libraries/libmad/default.nix
index 66a2169e587..1d6ab57c26b 100644
--- a/pkgs/development/libraries/libmad/default.nix
+++ b/pkgs/development/libraries/libmad/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "libmad-0.15.0b";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libmad-0.15.0b.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/libmad-0.15.0b.tar.gz;
     md5 = "2e4487cdf922a6da2546bad74f643205";
   };
 }
diff --git a/pkgs/development/libraries/libogg/default.nix b/pkgs/development/libraries/libogg/default.nix
index 05811638bf4..f3e33a016a9 100644
--- a/pkgs/development/libraries/libogg/default.nix
+++ b/pkgs/development/libraries/libogg/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "libogg-1.1.2";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libogg-1.1.2.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/libogg-1.1.2.tar.gz;
     md5 = "4d82996517bf33bb912c97e9d0b635c4" ;
   };
 }
diff --git a/pkgs/development/libraries/libsigsegv/default.nix b/pkgs/development/libraries/libsigsegv/default.nix
index 2416e1e0ed2..3437299f5d5 100644
--- a/pkgs/development/libraries/libsigsegv/default.nix
+++ b/pkgs/development/libraries/libsigsegv/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "libsigsegv-2.1";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libsigsegv-2.1.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/libsigsegv-2.1.tar.gz;
     md5 = "6d75ca3fede5fbfd72a78bc918d9e174";
   };
 }
diff --git a/pkgs/development/libraries/libtheora/default.nix b/pkgs/development/libraries/libtheora/default.nix
index 356235dd545..278eea69094 100644
--- a/pkgs/development/libraries/libtheora/default.nix
+++ b/pkgs/development/libraries/libtheora/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "libtheora-1.0alpha4";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libtheora-1.0alpha4.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/libtheora-1.0alpha4.tar.bz2;
     md5 = "a71ac42ec0f848da327930841a80ff2b";
   };
   propagatedBuildInputs = [libogg libvorbis];
diff --git a/pkgs/development/libraries/libtiff/default.nix b/pkgs/development/libraries/libtiff/default.nix
index e3248344adb..43000691bec 100644
--- a/pkgs/development/libraries/libtiff/default.nix
+++ b/pkgs/development/libraries/libtiff/default.nix
@@ -6,7 +6,7 @@ stdenv.mkDerivation {
   name = "libtiff-3.7.2";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/tiff-3.7.2.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/tiff-3.7.2.tar.gz;
     md5 = "9d7123bd0dbde2a3853fb758346adb78";
   };
   propagatedBuildInputs = [zlib libjpeg];
diff --git a/pkgs/development/libraries/libvorbis/default.nix b/pkgs/development/libraries/libvorbis/default.nix
index 6a2385fe950..ba70b012d09 100644
--- a/pkgs/development/libraries/libvorbis/default.nix
+++ b/pkgs/development/libraries/libvorbis/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "libvorbis-1.1.0";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libvorbis-1.1.0.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/libvorbis-1.1.0.tar.gz;
     md5 = "bb764aeabde613d1a424a29b1f15e7e6";
   };
   buildInputs = [libogg];
diff --git a/pkgs/development/libraries/mesa/default.nix b/pkgs/development/libraries/mesa/default.nix
index 833d47bd7ca..3f17e929ecd 100644
--- a/pkgs/development/libraries/mesa/default.nix
+++ b/pkgs/development/libraries/mesa/default.nix
@@ -6,11 +6,11 @@ stdenv.mkDerivation {
   name = "mesa-6.0.1";
   srcs = [
     (fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/MesaLib-6.0.1.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/MesaLib-6.0.1.tar.bz2;
       md5 = "b7f14088c5c2f14490d2739a91102112";
     })
     (fetchurl {
-      url = http://catamaran.labs.cs.uu.nl/dist/tarballs/MesaDemos-6.0.1.tar.bz2;
+      url = http://nix.cs.uu.nl/dist/tarballs/MesaDemos-6.0.1.tar.bz2;
       md5 = "dd6aadfd9ca8e1cfa90c6ee492bc6f43";
     })
   ];
diff --git a/pkgs/development/libraries/mpeg2dec/default.nix b/pkgs/development/libraries/mpeg2dec/default.nix
index cca12fb9f81..a22cd500896 100644
--- a/pkgs/development/libraries/mpeg2dec/default.nix
+++ b/pkgs/development/libraries/mpeg2dec/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "mpeg2dec-0.4.0b";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/mpeg2dec-0.4.0b.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/mpeg2dec-0.4.0b.tar.gz;
     md5 = "52d10ea80595ec83d8557ba7ac6dc8e6";
   };
 }
diff --git a/pkgs/development/libraries/ncurses/default.nix b/pkgs/development/libraries/ncurses/default.nix
index 0625d726e28..28a4a35c4a2 100644
--- a/pkgs/development/libraries/ncurses/default.nix
+++ b/pkgs/development/libraries/ncurses/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "ncurses-5.4";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/ncurses-5.4.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/ncurses-5.4.tar.gz;
     md5 = "069c8880072060373290a4fefff43520";
   };
   configureFlags = "--with-shared";
diff --git a/pkgs/development/libraries/popt/default.nix b/pkgs/development/libraries/popt/default.nix
index 43ad631187f..e8d23dbe188 100644
--- a/pkgs/development/libraries/popt/default.nix
+++ b/pkgs/development/libraries/popt/default.nix
@@ -6,7 +6,7 @@ stdenv.mkDerivation {
   name = "popt-1.7";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/popt-1.7.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/popt-1.7.tar.gz;
     md5 = "5988e7aeb0ae4dac8d83561265984cc9";
   };
   gettext = gettext;
diff --git a/pkgs/development/libraries/qt-3/default.nix b/pkgs/development/libraries/qt-3/default.nix
index 8c6412eef9a..ff332bc4345 100644
--- a/pkgs/development/libraries/qt-3/default.nix
+++ b/pkgs/development/libraries/qt-3/default.nix
@@ -17,7 +17,7 @@ stdenv.mkDerivation {
   substitute = ../../../build-support/substitute/substitute.sh;
   hook = ./setup-hook.sh;  
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/qt-x11-free-3.3.3.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/qt-x11-free-3.3.3.tar.bz2;
     md5 = "3e0a0c8429b0a974b39b5f535ddff01c";
   };
 
diff --git a/pkgs/development/libraries/readline/default.nix b/pkgs/development/libraries/readline/default.nix
index 00e58d81b43..b67cf23339a 100644
--- a/pkgs/development/libraries/readline/default.nix
+++ b/pkgs/development/libraries/readline/default.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "readline-5.0";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/readline-5.0.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/readline-5.0.tar.gz;
     md5 = "9a39d15f1ed592883f8c6671e8c13120";
   };
   inherit ncurses;
diff --git a/pkgs/development/libraries/rte/default.nix b/pkgs/development/libraries/rte/default.nix
index 2f478a6b4d6..c38bfd6fc99 100644
--- a/pkgs/development/libraries/rte/default.nix
+++ b/pkgs/development/libraries/rte/default.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "rte-0.5.2";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/rte-0.5.2.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/rte-0.5.2.tar.bz2;
     md5 = "152d5d81169f0c9a543078543e354ebe";
   };
 }
diff --git a/pkgs/development/libraries/sqlite/default.nix b/pkgs/development/libraries/sqlite/default.nix
index 26f9b631573..1b50af6fe21 100644
--- a/pkgs/development/libraries/sqlite/default.nix
+++ b/pkgs/development/libraries/sqlite/default.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "sqlite-2.8.16";
 
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/sqlite-2.8.16.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/sqlite-2.8.16.tar.gz;
     md5 = "9c79b461ff30240a6f9d70dd67f8faea";
   };
 }
diff --git a/pkgs/development/libraries/wxGTK-2.5/default.nix b/pkgs/development/libraries/wxGTK-2.5/default.nix
index 16d321bb874..305ddb3da83 100644
--- a/pkgs/development/libraries/wxGTK-2.5/default.nix
+++ b/pkgs/development/libraries/wxGTK-2.5/default.nix
@@ -10,7 +10,7 @@ stdenv.mkDerivation {
   name = "wxGTK-2.5.2";
 
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/wxGTK-2.5.2.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/wxGTK-2.5.2.tar.bz2;
     md5 = "b45874428b0164bfa5bd1a5a11b3eb4a";
   };
 
diff --git a/pkgs/development/libraries/wxGTK/default.nix b/pkgs/development/libraries/wxGTK/default.nix
index 31c8910342f..a918043cbdb 100644
--- a/pkgs/development/libraries/wxGTK/default.nix
+++ b/pkgs/development/libraries/wxGTK/default.nix
@@ -10,7 +10,7 @@ stdenv.mkDerivation {
   name = "wxGTK-2.4.2";
 
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/wxGTK-2.4.2.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/wxGTK-2.4.2.tar.bz2;
     md5 = "cdadfe82fc93f8a65a2ae18a95b0b0e3";
   };
 
diff --git a/pkgs/development/libraries/xlibs/libICE/default.nix b/pkgs/development/libraries/xlibs/libICE/default.nix
index 7d3fb7fa5b6..923624d37a8 100644
--- a/pkgs/development/libraries/xlibs/libICE/default.nix
+++ b/pkgs/development/libraries/xlibs/libICE/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "libICE-6.3.3";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libICE-6.3.3.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/libICE-6.3.3.tar.bz2;
     md5 = "e67d98bebfabf884e58501e44b7efd35";
   };
   buildInputs = [pkgconfig libX11];
diff --git a/pkgs/development/libraries/xlibs/libSM/default.nix b/pkgs/development/libraries/xlibs/libSM/default.nix
index 81f831a9fd3..417f2d6ffa0 100644
--- a/pkgs/development/libraries/xlibs/libSM/default.nix
+++ b/pkgs/development/libraries/xlibs/libSM/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "libSM-6.0.3";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libSM-6.0.3.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/libSM-6.0.3.tar.bz2;
     md5 = "e01ec6568ad17c5df8f56828e34a0b2b";
   };
   buildInputs = [pkgconfig];
diff --git a/pkgs/development/libraries/xlibs/libX11/default.nix b/pkgs/development/libraries/xlibs/libX11/default.nix
index 469e9a9f9d4..9991c37f84a 100644
--- a/pkgs/development/libraries/xlibs/libX11/default.nix
+++ b/pkgs/development/libraries/xlibs/libX11/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "libX11-6.2.1";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libX11-6.2.1.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/libX11-6.2.1.tar.bz2;
     md5 = "59b6fa7cd6fe7ee1da92fd1b56d1cee3";
   };
   buildInputs = [pkgconfig];
diff --git a/pkgs/development/libraries/xlibs/libXau/default.nix b/pkgs/development/libraries/xlibs/libXau/default.nix
index d7510d1ea8e..4ba16cead09 100644
--- a/pkgs/development/libraries/xlibs/libXau/default.nix
+++ b/pkgs/development/libraries/xlibs/libXau/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "libXau-0.1.1";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libXau-0.1.1.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/libXau-0.1.1.tar.bz2;
     md5 = "3d747ada4a7d17538fa21c62d5608656";
   };
   buildInputs = [pkgconfig xproto];
diff --git a/pkgs/development/libraries/xlibs/libXaw/default.nix b/pkgs/development/libraries/xlibs/libXaw/default.nix
index 8b1912ba8d2..e644ee92e25 100644
--- a/pkgs/development/libraries/xlibs/libXaw/default.nix
+++ b/pkgs/development/libraries/xlibs/libXaw/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "libXaw-7.0.2";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libXaw-7.0.2.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/libXaw-7.0.2.tar.bz2;
     md5 = "30d569f9560c1daac184d5be8085ce37";
   };
   buildInputs = [pkgconfig];
diff --git a/pkgs/development/libraries/xlibs/libXext/default.nix b/pkgs/development/libraries/xlibs/libXext/default.nix
index 66ec8d784c9..dbbeac24211 100644
--- a/pkgs/development/libraries/xlibs/libXext/default.nix
+++ b/pkgs/development/libraries/xlibs/libXext/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "libXext-6.4.3";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libXext-6.4.3.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/libXext-6.4.3.tar.bz2;
     md5 = "b7117194e69867905da9701dff56f3ee";
   };
   buildInputs = [pkgconfig xproto xextensions libX11];
diff --git a/pkgs/development/libraries/xlibs/libXi/default.nix b/pkgs/development/libraries/xlibs/libXi/default.nix
index 799f441eb28..8171b5d8e8f 100644
--- a/pkgs/development/libraries/xlibs/libXi/default.nix
+++ b/pkgs/development/libraries/xlibs/libXi/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "libXi-6.0.1";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libXi-6.0.1.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/libXi-6.0.1.tar.bz2;
     md5 = "7e935a42428d63a387b3c048be0f2756";
   };
   buildInputs = [pkgconfig];
diff --git a/pkgs/development/libraries/xlibs/libXinerama/default.nix b/pkgs/development/libraries/xlibs/libXinerama/default.nix
index f97d37931b0..819bb387c10 100644
--- a/pkgs/development/libraries/xlibs/libXinerama/default.nix
+++ b/pkgs/development/libraries/xlibs/libXinerama/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "libXinerama-1.0.2";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libXinerama-1.0.2.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/libXinerama-1.0.2.tar.bz2;
     md5 = "637b2c5758d2de558670428d33178174";
   };
   buildInputs = [pkgconfig panoramixext];
diff --git a/pkgs/development/libraries/xlibs/libXmu/default.nix b/pkgs/development/libraries/xlibs/libXmu/default.nix
index da243f20449..ad03d8f14ee 100644
--- a/pkgs/development/libraries/xlibs/libXmu/default.nix
+++ b/pkgs/development/libraries/xlibs/libXmu/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "libXmu-6.2.3";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libXmu-6.2.3.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/libXmu-6.2.3.tar.bz2;
     md5 = "7671745bd8a1b0595847541479a327d6";
   };
   buildInputs = [pkgconfig];
diff --git a/pkgs/development/libraries/xlibs/libXpm/default.nix b/pkgs/development/libraries/xlibs/libXpm/default.nix
index e0897621c5d..54177eb7a03 100644
--- a/pkgs/development/libraries/xlibs/libXpm/default.nix
+++ b/pkgs/development/libraries/xlibs/libXpm/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "libXpm-3.5.1";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libXpm-3.5.1.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/libXpm-3.5.1.tar.bz2;
     md5 = "733e20a60c3343531b50bcc48348fd3e";
   };
   buildInputs = [pkgconfig];
diff --git a/pkgs/development/libraries/xlibs/libXtrans/default.nix b/pkgs/development/libraries/xlibs/libXtrans/default.nix
index a4839f3e699..5ba3664220d 100644
--- a/pkgs/development/libraries/xlibs/libXtrans/default.nix
+++ b/pkgs/development/libraries/xlibs/libXtrans/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "libXtrans-0.1";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libXtrans-0.1.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/libXtrans-0.1.tar.bz2;
     md5 = "a5ae4c7a75f930053b8327f7bd0c1361";
   };
 }
diff --git a/pkgs/development/libraries/xlibs/libXv/default.nix b/pkgs/development/libraries/xlibs/libXv/default.nix
index bfaada1198d..86234b7e5e5 100644
--- a/pkgs/development/libraries/xlibs/libXv/default.nix
+++ b/pkgs/development/libraries/xlibs/libXv/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "libXv-2.2.2";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libXv-2.2.2.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/libXv-2.2.2.tar.bz2;
     md5 = "cdd6a79bac8807da83c008dac42fdddb";
   };
   buildInputs = [pkgconfig];
diff --git a/pkgs/development/libraries/xlibs/panoramixext/default.nix b/pkgs/development/libraries/xlibs/panoramixext/default.nix
index 538a92096b2..5594f2a40a8 100644
--- a/pkgs/development/libraries/xlibs/panoramixext/default.nix
+++ b/pkgs/development/libraries/xlibs/panoramixext/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "panoramixext-1.1";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/panoramixext-1.1.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/panoramixext-1.1.tar.bz2;
     md5 = "129f8623dc4f70188a015e3cbd7eae82";
   };
 }
diff --git a/pkgs/development/libraries/xlibs/xextensions/default.nix b/pkgs/development/libraries/xlibs/xextensions/default.nix
index b7e77f6bd64..45db6adbc74 100644
--- a/pkgs/development/libraries/xlibs/xextensions/default.nix
+++ b/pkgs/development/libraries/xlibs/xextensions/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "xextensions-1.0.1";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/xextensions-1.0.1.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/xextensions-1.0.1.tar.bz2;
     md5 = "e61bca2a4757b736c9557dc8a7df2217";
   };
 }
diff --git a/pkgs/development/libraries/zvbi/default.nix b/pkgs/development/libraries/zvbi/default.nix
index 58ca60e57e6..f53d5a661c9 100644
--- a/pkgs/development/libraries/zvbi/default.nix
+++ b/pkgs/development/libraries/zvbi/default.nix
@@ -7,7 +7,7 @@ assert pngSupport -> libpng != null;
 stdenv.mkDerivation {
   name = "zvbi-0.2.8";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/zvbi-0.2.8.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/zvbi-0.2.8.tar.bz2;
     md5 = "8701d3e4387cd896ff8b68831b57d814";
   };
   buildInputs = [x11 (if pngSupport then libpng else null)];
diff --git a/pkgs/development/perl-modules/XML-Parser/default.nix b/pkgs/development/perl-modules/XML-Parser/default.nix
index b9adcaab706..8ea0606f0eb 100644
--- a/pkgs/development/perl-modules/XML-Parser/default.nix
+++ b/pkgs/development/perl-modules/XML-Parser/default.nix
@@ -3,7 +3,7 @@
 import ../generic perl {
   name = "XML-Parser-2.34";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/XML-Parser-2.34.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/XML-Parser-2.34.tar.gz;
     md5 = "84d9e0001fe01c14867256c3fe115899";
   };
   perlPreHook = ./hook.sh;
diff --git a/pkgs/development/python-modules/wxPython-2.5/default.nix b/pkgs/development/python-modules/wxPython-2.5/default.nix
index dce3aa56741..455208721ef 100644
--- a/pkgs/development/python-modules/wxPython-2.5/default.nix
+++ b/pkgs/development/python-modules/wxPython-2.5/default.nix
@@ -6,7 +6,7 @@ stdenv.mkDerivation {
   name = "wxPython-2.5.2.8";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/wxPythonSrc-2.5.2.8.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/wxPythonSrc-2.5.2.8.tar.gz;
     md5 = "573fd376fd39b66ad5fbf44b487aa0b2";
   };
   buildInputs = [pkgconfig wxGTK (wxGTK.gtk) python];
diff --git a/pkgs/development/python-modules/wxPython/default.nix b/pkgs/development/python-modules/wxPython/default.nix
index 5382d0a766e..7db7e287778 100644
--- a/pkgs/development/python-modules/wxPython/default.nix
+++ b/pkgs/development/python-modules/wxPython/default.nix
@@ -6,7 +6,7 @@ stdenv.mkDerivation {
   name = "wxPython-2.4.2.4";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/wxPythonSrc-2.4.2.4.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/wxPythonSrc-2.4.2.4.tar.gz;
     md5 = "ea4eb68e10a0c2a9be643b35dcb78e41";
   };
   buildInputs = [pkgconfig wxGTK (wxGTK.gtk) python];
diff --git a/pkgs/development/tools/build-managers/apache-ant/core-apache-ant-1.6.1.nix b/pkgs/development/tools/build-managers/apache-ant/core-apache-ant-1.6.1.nix
index 33c81878d26..87038c7f26c 100644
--- a/pkgs/development/tools/build-managers/apache-ant/core-apache-ant-1.6.1.nix
+++ b/pkgs/development/tools/build-managers/apache-ant/core-apache-ant-1.6.1.nix
@@ -6,7 +6,7 @@ stdenv.mkDerivation {
 
   builder = ./core-builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/apache-ant-1.6.1-bin.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/apache-ant-1.6.1-bin.tar.bz2;
     md5 = "703d0265d05b98afd95be0bc21b98420";
   };
 }
diff --git a/pkgs/development/tools/build-managers/gnumake/default.nix b/pkgs/development/tools/build-managers/gnumake/default.nix
index 0826092439c..caedaac1496 100644
--- a/pkgs/development/tools/build-managers/gnumake/default.nix
+++ b/pkgs/development/tools/build-managers/gnumake/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "gnumake-3.80";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/make-3.80.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/make-3.80.tar.bz2;
     md5 = "0bbd1df101bc0294d440471e50feca71";
   };
   patches = [./log.diff];
diff --git a/pkgs/development/tools/documentation/xdoc/default.nix b/pkgs/development/tools/documentation/xdoc/default.nix
index 571bce45352..32409053254 100644
--- a/pkgs/development/tools/documentation/xdoc/default.nix
+++ b/pkgs/development/tools/documentation/xdoc/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "xdoc-0.1";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/xdoc-0.1.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/xdoc-0.1.tar.gz;
     md5 = "6f601254013d5fe3d2fdbd33b827001a";
   };
   builder = ./builder.sh;
diff --git a/pkgs/development/tools/java/jclasslib/default.nix b/pkgs/development/tools/java/jclasslib/default.nix
index a81c8f6032e..f87edb3eab0 100644
--- a/pkgs/development/tools/java/jclasslib/default.nix
+++ b/pkgs/development/tools/java/jclasslib/default.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "jclasslib-2.0";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/jclasslib_unix_2_0.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/jclasslib_unix_2_0.tar.gz;
     md5 = "31d91bb03fee23410689d2f1c4c439b1";
   };
 
diff --git a/pkgs/development/tools/misc/autoconf/default.nix b/pkgs/development/tools/misc/autoconf/default.nix
index 6711acb39f8..9902c3c5dd7 100644
--- a/pkgs/development/tools/misc/autoconf/default.nix
+++ b/pkgs/development/tools/misc/autoconf/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "autoconf-2.59";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/autoconf-2.59.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/autoconf-2.59.tar.bz2;
     md5 = "1ee40f7a676b3cfdc0e3f7cd81551b5f";
   };
   buildInputs = [m4 perl];
diff --git a/pkgs/development/tools/misc/automake/automake-1.7.9.nix b/pkgs/development/tools/misc/automake/automake-1.7.9.nix
index 13b1b738086..6a0f466cf37 100644
--- a/pkgs/development/tools/misc/automake/automake-1.7.9.nix
+++ b/pkgs/development/tools/misc/automake/automake-1.7.9.nix
@@ -5,7 +5,7 @@ stdenv.mkDerivation {
   builder = ./builder.sh;
   setupHook = ./setup-hook.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/automake-1.7.9.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/automake-1.7.9.tar.bz2;
     md5 = "571fd0b0598eb2a27dcf68adcfddfacb";
   };
   buildInputs = [perl autoconf];
diff --git a/pkgs/development/tools/misc/automake/automake-1.9.x.nix b/pkgs/development/tools/misc/automake/automake-1.9.x.nix
index e5bcd4fc680..1fe9e0b1c39 100644
--- a/pkgs/development/tools/misc/automake/automake-1.9.x.nix
+++ b/pkgs/development/tools/misc/automake/automake-1.9.x.nix
@@ -5,7 +5,7 @@ stdenv.mkDerivation {
   builder = ./builder.sh;
   setupHook = ./setup-hook.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/automake-1.9.4.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/automake-1.9.4.tar.gz;
     md5 = "5b46bde56e321a7bab7832168cf0b9b8";
   };
   buildInputs = [perl autoconf];
diff --git a/pkgs/development/tools/misc/gperf/default.nix b/pkgs/development/tools/misc/gperf/default.nix
index 0ded5fe27b5..9e6e11da2af 100644
--- a/pkgs/development/tools/misc/gperf/default.nix
+++ b/pkgs/development/tools/misc/gperf/default.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "gperf-2.7.2";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/gperf-2.7.2.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/gperf-2.7.2.tar.gz;
     md5 = "e501acc2e18eed2c8f25ca0ac2330d68";
   };
 }
diff --git a/pkgs/development/tools/misc/libtool/default.nix b/pkgs/development/tools/misc/libtool/default.nix
index 568e37d8d54..c1319e91443 100644
--- a/pkgs/development/tools/misc/libtool/default.nix
+++ b/pkgs/development/tools/misc/libtool/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "libtool-1.5.14";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/libtool-1.5.14.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/libtool-1.5.14.tar.gz;
     md5 = "049bf67de9b0eb75cd943dafe3d749ec";
   };
   buildInputs = [m4 perl];
diff --git a/pkgs/development/tools/misc/patchelf/default.nix b/pkgs/development/tools/misc/patchelf/default.nix
index 26f0888de63..e030cb1d338 100644
--- a/pkgs/development/tools/misc/patchelf/default.nix
+++ b/pkgs/development/tools/misc/patchelf/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "patchelf-0.1pre2286";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/nix/patchelf-0.1pre2286/patchelf-0.1pre2286.tar.gz;
+    url = http://nix.cs.uu.nl/dist/nix/patchelf-0.1pre2286/patchelf-0.1pre2286.tar.gz;
     md5 = "2b1377e6745c239255b3f4a6ba6c0c87";
   };
 }
diff --git a/pkgs/development/tools/misc/pkgconfig/default.nix b/pkgs/development/tools/misc/pkgconfig/default.nix
index b15f04264aa..ba5b3a95ac7 100644
--- a/pkgs/development/tools/misc/pkgconfig/default.nix
+++ b/pkgs/development/tools/misc/pkgconfig/default.nix
@@ -5,7 +5,7 @@ stdenv.mkDerivation {
   builder = ./builder.sh;
   setupHook = ./setup-hook.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/pkgconfig-0.15.0.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/pkgconfig-0.15.0.tar.gz;
     md5 = "a7e4f60a6657dbc434334deb594cc242";
   };
 }
diff --git a/pkgs/development/tools/misc/strace/default.nix b/pkgs/development/tools/misc/strace/default.nix
index 111ff74f575..fb6dadb8520 100644
--- a/pkgs/development/tools/misc/strace/default.nix
+++ b/pkgs/development/tools/misc/strace/default.nix
@@ -5,7 +5,7 @@ stdenv.mkDerivation {
 
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/strace-4.5.6.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/strace-4.5.6.tar.bz2;
     md5 = "2dd9d23430957a7ee0221efb28c66d1e";
   };
 }
diff --git a/pkgs/development/tools/misc/swig/default.nix b/pkgs/development/tools/misc/swig/default.nix
index 6c043e3025b..1e14ddc8f29 100644
--- a/pkgs/development/tools/misc/swig/default.nix
+++ b/pkgs/development/tools/misc/swig/default.nix
@@ -10,7 +10,7 @@ stdenv.mkDerivation {
 
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/swig-1.3.19.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/swig-1.3.19.tar.gz;
     md5 = "a733455544426b31868dd87fc162e750";
   };
 
diff --git a/pkgs/development/tools/misc/texinfo/default.nix b/pkgs/development/tools/misc/texinfo/default.nix
index b48f4695c2a..8f69b793b9a 100644
--- a/pkgs/development/tools/misc/texinfo/default.nix
+++ b/pkgs/development/tools/misc/texinfo/default.nix
@@ -6,7 +6,7 @@ stdenv.mkDerivation {
   name = "texinfo-4.6";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/texinfo-4.6.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/texinfo-4.6.tar.gz;
     md5 = "5730c8c0c7484494cca7a7e2d7459c64";
   };
   inherit ncurses;
diff --git a/pkgs/development/tools/misc/valgrind/default.nix b/pkgs/development/tools/misc/valgrind/default.nix
index 9c85197591e..2f28c8b1217 100644
--- a/pkgs/development/tools/misc/valgrind/default.nix
+++ b/pkgs/development/tools/misc/valgrind/default.nix
@@ -8,7 +8,7 @@
 stdenv.mkDerivation {
   name = "valgrind-2.4.0";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/valgrind-2.4.0.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/valgrind-2.4.0.tar.bz2;
     md5 = "1d0bd81d368789946d32d18a468ea0cf";
   };
   buildInputs = [perl];
diff --git a/pkgs/development/tools/parsing/asc-support/asc-support-1.8.nix b/pkgs/development/tools/parsing/asc-support/asc-support-1.8.nix
index 7ecdbbf6041..ec173ba86fd 100644
--- a/pkgs/development/tools/parsing/asc-support/asc-support-1.8.nix
+++ b/pkgs/development/tools/parsing/asc-support/asc-support-1.8.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "asc-support-1.8";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/asc-support-1.8.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/asc-support-1.8.tar.gz;
     md5 = "e85a790c6004dfb974d79fc9699f69f4";
   };
   inherit stdenv aterm ptsupport toolbuslib asfsupport;
diff --git a/pkgs/development/tools/parsing/asc-support/asc-support-1.9.nix b/pkgs/development/tools/parsing/asc-support/asc-support-1.9.nix
index ebc4f64ca39..4aa1c92d080 100644
--- a/pkgs/development/tools/parsing/asc-support/asc-support-1.9.nix
+++ b/pkgs/development/tools/parsing/asc-support/asc-support-1.9.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "asc-support-1.9";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/asc-support-1.9.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/asc-support-1.9.tar.gz;
     md5 = "0c395efec4d3b582af016ab03306ed0a";
   };
   inherit stdenv aterm ptsupport toolbuslib asfsupport errorsupport sglr;
diff --git a/pkgs/development/tools/parsing/asc-support/asc-support-2.0.nix b/pkgs/development/tools/parsing/asc-support/asc-support-2.0.nix
index 666ab439778..de23398cccb 100644
--- a/pkgs/development/tools/parsing/asc-support/asc-support-2.0.nix
+++ b/pkgs/development/tools/parsing/asc-support/asc-support-2.0.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "asc-support-2.0";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/asc-support-2.0.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/asc-support-2.0.tar.gz;
     md5 = "34368ca79e524157bf6e89281371cb5a";
   };
   inherit stdenv aterm ptsupport toolbuslib asfsupport errorsupport sglr;
diff --git a/pkgs/development/tools/parsing/asf-library/asf-library-1.0.nix b/pkgs/development/tools/parsing/asf-library/asf-library-1.0.nix
index 6232a5bbe5a..c577d07db07 100644
--- a/pkgs/development/tools/parsing/asf-library/asf-library-1.0.nix
+++ b/pkgs/development/tools/parsing/asf-library/asf-library-1.0.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "asf-library-1.0";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/asf-library-1.0.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/asf-library-1.0.tar.gz;
     md5 = "e531f78941e2d2dab1b87a56522e9fb5";
   };
 }
diff --git a/pkgs/development/tools/parsing/asf-library/asf-library-1.1.nix b/pkgs/development/tools/parsing/asf-library/asf-library-1.1.nix
index 31162b7b2d5..6344b3a47ac 100644
--- a/pkgs/development/tools/parsing/asf-library/asf-library-1.1.nix
+++ b/pkgs/development/tools/parsing/asf-library/asf-library-1.1.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "asf-library-1.1";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/asf-library-1.1.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/asf-library-1.1.tar.gz;
     md5 = "09b2ccbd115434cedb180e5575d0fa98";
   };
 }
diff --git a/pkgs/development/tools/parsing/asf-support/asf-support-1.2.nix b/pkgs/development/tools/parsing/asf-support/asf-support-1.2.nix
index 49ad29229d7..fbbf8b69ce7 100644
--- a/pkgs/development/tools/parsing/asf-support/asf-support-1.2.nix
+++ b/pkgs/development/tools/parsing/asf-support/asf-support-1.2.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "asf-support-1.2";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/asf-support-1.2.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/asf-support-1.2.tar.gz;
     md5 = "f32de4c97e62486b67e0af4408585980";
   };
   inherit stdenv aterm ptsupport;
diff --git a/pkgs/development/tools/parsing/asf-support/asf-support-1.3.nix b/pkgs/development/tools/parsing/asf-support/asf-support-1.3.nix
index b970a9483dd..a0cd69f15dd 100644
--- a/pkgs/development/tools/parsing/asf-support/asf-support-1.3.nix
+++ b/pkgs/development/tools/parsing/asf-support/asf-support-1.3.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "asf-support-1.3";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/asf-support-1.3.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/asf-support-1.3.tar.gz;
     md5 = "23539387ff9b0423c1c1933a8ff75d27";
   };
   inherit stdenv aterm ptsupport errorsupport;
diff --git a/pkgs/development/tools/parsing/asf-support/asf-support-1.4.nix b/pkgs/development/tools/parsing/asf-support/asf-support-1.4.nix
index c6043a289bb..4bb2c3d5c66 100644
--- a/pkgs/development/tools/parsing/asf-support/asf-support-1.4.nix
+++ b/pkgs/development/tools/parsing/asf-support/asf-support-1.4.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "asf-support-1.4";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/asf-support-1.4.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/asf-support-1.4.tar.gz;
     md5 = "520ea7d73094346d3010187f22927870";
   };
   inherit stdenv aterm ptsupport errorsupport;
diff --git a/pkgs/development/tools/parsing/bison/bison-new.nix b/pkgs/development/tools/parsing/bison/bison-new.nix
index 00a7f87e776..4bdab887ba5 100644
--- a/pkgs/development/tools/parsing/bison/bison-new.nix
+++ b/pkgs/development/tools/parsing/bison/bison-new.nix
@@ -5,7 +5,7 @@ assert m4 != null;
 stdenv.mkDerivation {
   name = "bison-1.875d";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/bison-1.875d.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/bison-1.875d.tar.gz;
     md5 = "faaa4a271ca722fb6c769d72e18ade0b";
   };
   buildInputs = [m4];
diff --git a/pkgs/development/tools/parsing/bison/default.nix b/pkgs/development/tools/parsing/bison/default.nix
index ba3926878c4..92aeafb335a 100644
--- a/pkgs/development/tools/parsing/bison/default.nix
+++ b/pkgs/development/tools/parsing/bison/default.nix
@@ -5,7 +5,7 @@ assert m4 != null;
 stdenv.mkDerivation {
   name = "bison-1.875";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/bison-1.875.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/bison-1.875.tar.bz2;
     md5 = "b7f8027b249ebd4dd0cc948943a71af0";
   };
   buildInputs = [m4];
diff --git a/pkgs/development/tools/parsing/error-support/error-support-0.1.1.nix b/pkgs/development/tools/parsing/error-support/error-support-0.1.1.nix
index a55892155f5..13142d6ff21 100644
--- a/pkgs/development/tools/parsing/error-support/error-support-0.1.1.nix
+++ b/pkgs/development/tools/parsing/error-support/error-support-0.1.1.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "error-support-0.1.1";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/error-support-0.1.1.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/error-support-0.1.1.tar.gz;
     md5 = "ebd0965e29ee22508a189477b1dae12b";
   };
   inherit aterm toolbuslib;
diff --git a/pkgs/development/tools/parsing/error-support/error-support-0.1.nix b/pkgs/development/tools/parsing/error-support/error-support-0.1.nix
index d84b641a6ad..53c223f3eaf 100644
--- a/pkgs/development/tools/parsing/error-support/error-support-0.1.nix
+++ b/pkgs/development/tools/parsing/error-support/error-support-0.1.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "error-support-0.1";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/error-support-0.1.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/error-support-0.1.tar.gz;
     md5 = "906389fd8b44bf2847d8281450d5a701";
   };
   inherit aterm toolbuslib;
diff --git a/pkgs/development/tools/parsing/flex-iputils/default.nix b/pkgs/development/tools/parsing/flex-iputils/default.nix
index 24303fd6a53..c680f0f5c49 100644
--- a/pkgs/development/tools/parsing/flex-iputils/default.nix
+++ b/pkgs/development/tools/parsing/flex-iputils/default.nix
@@ -6,7 +6,7 @@ stdenv.mkDerivation {
   name = "flex-2.5.4a";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/flex-2.5.4a.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/flex-2.5.4a.tar.gz;
     md5 = "bd8753d0b22e1f4ec87a553a73021adf";
   };
   buildInputs = [yacc];
diff --git a/pkgs/development/tools/parsing/flex-iputils/flex-new.nix b/pkgs/development/tools/parsing/flex-iputils/flex-new.nix
index fddd8eaa6cd..802f77a9ad6 100644
--- a/pkgs/development/tools/parsing/flex-iputils/flex-new.nix
+++ b/pkgs/development/tools/parsing/flex-iputils/flex-new.nix
@@ -8,7 +8,7 @@ assert yacc != null && m4 != null;
 stdenv.mkDerivation {
   name = "flex-2.5.31";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/flex-2.5.31.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/flex-2.5.31.tar.bz2;
     md5 = "363dcc4afc917dc51306eb9d3de0152f";
   };
   buildInputs = [yacc];
diff --git a/pkgs/development/tools/parsing/flex/default.nix b/pkgs/development/tools/parsing/flex/default.nix
index c386c2be476..2d146eeca25 100644
--- a/pkgs/development/tools/parsing/flex/default.nix
+++ b/pkgs/development/tools/parsing/flex/default.nix
@@ -5,7 +5,7 @@ assert yacc != null;
 stdenv.mkDerivation {
   name = "flex-2.5.4a";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/flex-2.5.4a.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/flex-2.5.4a.tar.gz;
     md5 = "bd8753d0b22e1f4ec87a553a73021adf";
   };
   buildInputs = [yacc];
diff --git a/pkgs/development/tools/parsing/flex/flex-new.nix b/pkgs/development/tools/parsing/flex/flex-new.nix
index fddd8eaa6cd..802f77a9ad6 100644
--- a/pkgs/development/tools/parsing/flex/flex-new.nix
+++ b/pkgs/development/tools/parsing/flex/flex-new.nix
@@ -8,7 +8,7 @@ assert yacc != null && m4 != null;
 stdenv.mkDerivation {
   name = "flex-2.5.31";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/flex-2.5.31.tar.bz2;
+    url = http://nix.cs.uu.nl/dist/tarballs/flex-2.5.31.tar.bz2;
     md5 = "363dcc4afc917dc51306eb9d3de0152f";
   };
   buildInputs = [yacc];
diff --git a/pkgs/development/tools/parsing/happy/default.nix b/pkgs/development/tools/parsing/happy/default.nix
index 2bfc703deb7..e46b7292da8 100644
--- a/pkgs/development/tools/parsing/happy/default.nix
+++ b/pkgs/development/tools/parsing/happy/default.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "happy-1.14";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/happy-1.14-src.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/happy-1.14-src.tar.gz;
     md5 = "501b5b63533b2e2838de18085e8c4492";
   };
   buildInputs = [ghc perl];
diff --git a/pkgs/development/tools/parsing/pgen/pgen-2.0.nix b/pkgs/development/tools/parsing/pgen/pgen-2.0.nix
index 1e0d80eab0d..571efd4f2d4 100644
--- a/pkgs/development/tools/parsing/pgen/pgen-2.0.nix
+++ b/pkgs/development/tools/parsing/pgen/pgen-2.0.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "pgen-2.0";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/pgen-2.0.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/pgen-2.0.tar.gz;
     md5 = "368cd8abeed29591a35660d8cea79975";
   };
   inherit        aterm toolbuslib ptsupport sdfsupport asfsupport ascsupport sglr;
diff --git a/pkgs/development/tools/parsing/pgen/pgen-2.1.nix b/pkgs/development/tools/parsing/pgen/pgen-2.1.nix
index 5758dfb9a16..eafa402a49f 100644
--- a/pkgs/development/tools/parsing/pgen/pgen-2.1.nix
+++ b/pkgs/development/tools/parsing/pgen/pgen-2.1.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "pgen-2.1";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/pgen-2.1.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/pgen-2.1.tar.gz;
     md5 = "3fd46ae1ddc891a488f74350d7b477f9";
   };
   inherit        aterm toolbuslib ptsupport sdfsupport asfsupport ascsupport errorsupport sglr;
diff --git a/pkgs/development/tools/parsing/pgen/pgen-2.2.nix b/pkgs/development/tools/parsing/pgen/pgen-2.2.nix
index 70d4fd0fc83..8f803a8072d 100644
--- a/pkgs/development/tools/parsing/pgen/pgen-2.2.nix
+++ b/pkgs/development/tools/parsing/pgen/pgen-2.2.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "pgen-2.2";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/pgen-2.2.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/pgen-2.2.tar.gz;
     md5 = "e23323a96d7b1f72a0e10673fa93ef7c";
   };
   inherit        aterm toolbuslib ptsupport sdfsupport asfsupport ascsupport errorsupport sglr;
diff --git a/pkgs/development/tools/parsing/pt-support/pt-support-1.0.nix b/pkgs/development/tools/parsing/pt-support/pt-support-1.0.nix
index 39b0c203183..3961db6be5a 100644
--- a/pkgs/development/tools/parsing/pt-support/pt-support-1.0.nix
+++ b/pkgs/development/tools/parsing/pt-support/pt-support-1.0.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "pt-support-1.0";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/pt-support-1.0.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/pt-support-1.0.tar.gz;
     md5 = "cc96dc2bfbaf3f218dfe9a0b8bb4d801";
   };
   inherit aterm toolbuslib;
diff --git a/pkgs/development/tools/parsing/pt-support/pt-support-1.1.nix b/pkgs/development/tools/parsing/pt-support/pt-support-1.1.nix
index 6ba2bf7450d..8c2c3037a8d 100644
--- a/pkgs/development/tools/parsing/pt-support/pt-support-1.1.nix
+++ b/pkgs/development/tools/parsing/pt-support/pt-support-1.1.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "pt-support-1.1";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/pt-support-1.1.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/pt-support-1.1.tar.gz;
     md5 = "51bad46427c7cf95d029c33f079581ff";
   };
   inherit aterm toolbuslib errorsupport;
diff --git a/pkgs/development/tools/parsing/pt-support/pt-support-1.2.nix b/pkgs/development/tools/parsing/pt-support/pt-support-1.2.nix
index b86a615a4a7..6a605fe1d2d 100644
--- a/pkgs/development/tools/parsing/pt-support/pt-support-1.2.nix
+++ b/pkgs/development/tools/parsing/pt-support/pt-support-1.2.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "pt-support-1.2";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/pt-support-1.2.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/pt-support-1.2.tar.gz;
     md5 = "2ba2fa388130b11b9b91970ebe20c1c7";
   };
   inherit aterm toolbuslib errorsupport;
diff --git a/pkgs/development/tools/parsing/sdf-support/sdf-support-2.0.nix b/pkgs/development/tools/parsing/sdf-support/sdf-support-2.0.nix
index 167db88a5f2..dfd05e79ad4 100644
--- a/pkgs/development/tools/parsing/sdf-support/sdf-support-2.0.nix
+++ b/pkgs/development/tools/parsing/sdf-support/sdf-support-2.0.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "sdf-support-2.0";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/sdf-support-2.0.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/sdf-support-2.0.tar.gz;
     md5 = "2987b89ed1d73e34e128b895ff44264c";
   };
   inherit stdenv aterm ptsupport toolbuslib;
diff --git a/pkgs/development/tools/parsing/sdf-support/sdf-support-2.1.1.nix b/pkgs/development/tools/parsing/sdf-support/sdf-support-2.1.1.nix
index 33d9c6da380..582d5806d0f 100644
--- a/pkgs/development/tools/parsing/sdf-support/sdf-support-2.1.1.nix
+++ b/pkgs/development/tools/parsing/sdf-support/sdf-support-2.1.1.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "sdf-support-2.1.1";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/sdf-support-2.1.1.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/sdf-support-2.1.1.tar.gz;
     md5 = "28b2c044ee711d6c5f22772b7dfafb76";
   };
   inherit stdenv aterm ptsupport toolbuslib errorsupport;
diff --git a/pkgs/development/tools/parsing/sdf-support/sdf-support-2.1.nix b/pkgs/development/tools/parsing/sdf-support/sdf-support-2.1.nix
index e0c1b697cc0..94588e27fe6 100644
--- a/pkgs/development/tools/parsing/sdf-support/sdf-support-2.1.nix
+++ b/pkgs/development/tools/parsing/sdf-support/sdf-support-2.1.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "sdf-support-2.1";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/sdf-support-2.1.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/sdf-support-2.1.tar.gz;
     md5 = "dbb1d3c51a82dadfaaf5319dba5cc9ef";
   };
   inherit stdenv aterm ptsupport toolbuslib errorsupport;
diff --git a/pkgs/development/tools/parsing/sglr/sglr-3.10.2.nix b/pkgs/development/tools/parsing/sglr/sglr-3.10.2.nix
index 6bc56630770..6415ac89cf7 100644
--- a/pkgs/development/tools/parsing/sglr/sglr-3.10.2.nix
+++ b/pkgs/development/tools/parsing/sglr/sglr-3.10.2.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "sglr-3.10.2";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/sglr-3.10.2.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/sglr-3.10.2.tar.gz;
     md5 = "39aa609be84115d7ddc56a6c74b792b7";
   };
   inherit stdenv aterm ptsupport toolbuslib;
diff --git a/pkgs/development/tools/parsing/sglr/sglr-3.11.nix b/pkgs/development/tools/parsing/sglr/sglr-3.11.nix
index 181387bf621..5ae6f946a11 100644
--- a/pkgs/development/tools/parsing/sglr/sglr-3.11.nix
+++ b/pkgs/development/tools/parsing/sglr/sglr-3.11.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "sglr-3.11";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/sglr-3.11.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/sglr-3.11.tar.gz;
     md5 = "c60536c7e967e93d1ec2cd9c8ae0a4ae";
   };
   inherit stdenv aterm ptsupport toolbuslib errorsupport;
diff --git a/pkgs/development/tools/parsing/sglr/sglr-3.12.nix b/pkgs/development/tools/parsing/sglr/sglr-3.12.nix
index dc6dfa8ee7a..f385a876107 100644
--- a/pkgs/development/tools/parsing/sglr/sglr-3.12.nix
+++ b/pkgs/development/tools/parsing/sglr/sglr-3.12.nix
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
   name = "sglr-3.12";
   builder = ./builder.sh;
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/sglr-3.12.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/sglr-3.12.tar.gz;
     md5 = "053753e419adfc337c4776412e3787ab";
   };
   inherit stdenv aterm ptsupport toolbuslib errorsupport;
diff --git a/pkgs/development/tools/parsing/toolbuslib/toolbuslib-0.5.1.nix b/pkgs/development/tools/parsing/toolbuslib/toolbuslib-0.5.1.nix
index e14be3815ee..def78154091 100644
--- a/pkgs/development/tools/parsing/toolbuslib/toolbuslib-0.5.1.nix
+++ b/pkgs/development/tools/parsing/toolbuslib/toolbuslib-0.5.1.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "toolbuslib-0.5.1";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/toolbuslib-0.5.1.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/toolbuslib-0.5.1.tar.gz;
     md5 = "1c7c7cce870f813bef60bbffdf061c90";
   };
   buildInputs = [aterm];
diff --git a/pkgs/development/tools/parsing/toolbuslib/toolbuslib-0.6.nix b/pkgs/development/tools/parsing/toolbuslib/toolbuslib-0.6.nix
index 22b37a0d58a..a231e834d3f 100644
--- a/pkgs/development/tools/parsing/toolbuslib/toolbuslib-0.6.nix
+++ b/pkgs/development/tools/parsing/toolbuslib/toolbuslib-0.6.nix
@@ -3,7 +3,7 @@
 stdenv.mkDerivation {
   name = "toolbuslib-0.6";
   src = fetchurl {
-    url = http://catamaran.labs.cs.uu.nl/dist/tarballs/toolbuslib-0.6.tar.gz;
+    url = http://nix.cs.uu.nl/dist/tarballs/toolbuslib-0.6.tar.gz;
     md5 = "e117c574b428408ad172b1ad904ff430";
   };
   buildInputs = [aterm];