* catamaran.labs.cs.uu.nl -> nix.cs.uu.nl.

svn path=/nixpkgs/trunk/; revision=3660
2005-08-22 08:39:27 +00:00
parent acc1db9ac6
commit 454707da23
206 changed files with 255 additions and 255 deletions
--- 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";
  };
 }
--- 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];
--- 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;
--- 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";
  };

--- 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];
--- 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];
--- 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];
--- 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";
  };
 }
--- 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];
--- 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";
  };
 }
--- 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";
  };
 }
--- 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";
  };
 }
--- 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";
  };

--- 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;
--- 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];
--- 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;
--- 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;
--- 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;
--- 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";
  };
 }
--- 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";
  };
 }
--- 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;
--- 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;
--- 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;
--- 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];
--- 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];
--- 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;
--- 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;
--- 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];
--- 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];
--- 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];
--- 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];
--- 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];
--- 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;
--- 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;
--- 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;
--- 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;
--- 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;
--- 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;
--- 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;
--- 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;
--- 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;
--- 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;
--- 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;
--- 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;
--- 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];
--- 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];