diff options
Diffstat (limited to 'pkgs/development/tools')
46 files changed, 46 insertions, 46 deletions
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 33c81878d263..87038c7f26c7 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 0826092439c0..caedaac14964 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 571bce453529..324090532546 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 a81c8f6032ef..f87edb3eab01 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 6711acb39f87..9902c3c5dd79 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 13b1b7380863..6a0f466cf372 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 e5bcd4fc680a..1fe9e0b1c39a 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 0ded5fe27b51..9e6e11da2af3 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 568e37d8d544..c1319e914432 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 26f0888de63b..e030cb1d338d 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 b15f04264aa9..ba5b3a95ac78 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 111ff74f5755..fb6dadb85202 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 6c043e3025b3..1e14ddc8f299 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 b48f4695c2aa..8f69b793b9a7 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 9c85197591e8..2f28c8b12176 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 7ecdbbf6041b..ec173ba86fd0 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 ebc4f64ca397..4aa1c92d0806 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 666ab4397781..de23398cccbb 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 6232a5bbe5a9..c577d07db07b 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 31162b7b2d5a..6344b3a47acc 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 49ad29229d74..fbbf8b69ce77 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 b970a9483dde..a0cd69f15dd4 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 c6043a289bbb..4bb2c3d5c66b 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 00a7f87e776f..4bdab887ba5c 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 ba3926878c42..92aeafb335a4 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 a55892155f52..13142d6ff21e 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 d84b641a6ad8..53c223f3eafc 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 24303fd6a539..c680f0f5c490 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 fddd8eaa6cd9..802f77a9ad60 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 c386c2be4765..2d146eeca250 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 fddd8eaa6cd9..802f77a9ad60 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 2bfc703deb79..e46b7292da83 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 1e0d80eab0d9..571efd4f2d45 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 5758dfb9a166..eafa402a49f0 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 70d4fd0fc839..8f803a8072d2 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 39b0c2031834..3961db6be5a6 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 6ba2bf7450d0..8c2c3037a8d0 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 b86a615a4a78..6a605fe1d2da 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 167db88a5f26..dfd05e79ad44 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 33d9c6da380d..582d5806d0f0 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 e0c1b697cc0b..94588e27fe6f 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 6bc566307709..6415ac89cf79 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 181387bf6213..5ae6f946a11a 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 dc6dfa8ee7a7..f385a8761074 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 e14be3815ee9..def781540910 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 22b37a0d58a5..a231e834d3f6 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]; |