diff options
Diffstat (limited to 'pkgs/development/tools/parsing/pt-support')
3 files changed, 3 insertions, 3 deletions
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 ed8bde95c0e..39b0c203183 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://www.cwi.nl/projects/MetaEnv/pt-support/pt-support-1.0.tar.gz; + url = http://catamaran.labs.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 9058917f05f..6ba2bf7450d 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://www.cwi.nl/projects/MetaEnv/pt-support/pt-support-1.1.tar.gz; + url = http://catamaran.labs.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 fb7de5d3844..b86a615a4a7 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://www.cwi.nl/projects/MetaEnv/pt-support/pt-support-1.2.tar.gz; + url = http://catamaran.labs.cs.uu.nl/dist/tarballs/pt-support-1.2.tar.gz; md5 = "2ba2fa388130b11b9b91970ebe20c1c7"; }; inherit aterm toolbuslib errorsupport; |