* Remove a bunch of unused Nix expressions.

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

36 files changed, 8 insertions, 373 deletions

diff --git a/pkgs/development/tools/misc/gnum4/default.nix b/pkgs/development/tools/misc/gnum4/default.nix
index ee92b01c0f85..90adb1a9f2a7 100644
--- a/pkgs/development/tools/misc/gnum4/default.nix
+++ b/pkgs/development/tools/misc/gnum4/default.nix
@@ -1 +1,8 @@
-import ./m4-1.4.7.nix
+{stdenv, fetchurl}:
+stdenv.mkDerivation {
+  name = "gnum4-1.4.7";
+  src = fetchurl {
+    url = http://nix.cs.uu.nl/dist/tarballs/m4-1.4.7.tar.bz2;
+    md5 = "0115a354217e36ca396ad258f6749f51";
+  };
+}
diff --git a/pkgs/development/tools/misc/gnum4/m4-1.4.7.nix b/pkgs/development/tools/misc/gnum4/m4-1.4.7.nix
deleted file mode 100644
index 90adb1a9f2a7..000000000000
--- a/pkgs/development/tools/misc/gnum4/m4-1.4.7.nix
+++ /dev/null
@@ -1,8 +0,0 @@
-{stdenv, fetchurl}:
-stdenv.mkDerivation {
-  name = "gnum4-1.4.7";
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/m4-1.4.7.tar.bz2;
-    md5 = "0115a354217e36ca396ad258f6749f51";
-  };
-}
diff --git a/pkgs/development/tools/misc/swig/swig-1.3.29.nix b/pkgs/development/tools/misc/swig/swig-1.3.29.nix
deleted file mode 100644
index 6fd4bcb4d68e..000000000000
--- a/pkgs/development/tools/misc/swig/swig-1.3.29.nix
+++ /dev/null
@@ -1,22 +0,0 @@
-{ perlSupport, pythonSupport, javaSupport
-, stdenv, fetchurl, perl ? null, python ? null, jdk ? null}:
-
-assert perlSupport -> perl != null;
-assert pythonSupport -> python != null;
-assert javaSupport -> jdk != null;
-
-stdenv.mkDerivation {
-  name = "swig-1.3.29";
-
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/swig-1.3.29.tar.gz;
-    md5 = "44c6f6d8d724cf7fa4a5109e6f63c9b1";
-  };
-
-  inherit perlSupport pythonSupport javaSupport;
-
-  perl = if perlSupport then perl else null;
-  python = if pythonSupport then python else null;
-  jdk = if javaSupport then jdk else null;
-}
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
deleted file mode 100644
index ec173ba86fd0..000000000000
--- a/pkgs/development/tools/parsing/asc-support/asc-support-1.8.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, aterm, toolbuslib, ptsupport, asfsupport}:
-
-stdenv.mkDerivation {
-  name = "asc-support-1.8";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/asc-support-1.8.tar.gz;
-    md5 = "e85a790c6004dfb974d79fc9699f69f4";
-  };
-  inherit stdenv aterm ptsupport toolbuslib asfsupport;
-  buildInputs = [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
deleted file mode 100644
index 4aa1c92d0806..000000000000
--- a/pkgs/development/tools/parsing/asc-support/asc-support-1.9.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, aterm, toolbuslib, ptsupport, asfsupport, errorsupport, sglr}:
-
-stdenv.mkDerivation {
-  name = "asc-support-1.9";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/asc-support-1.9.tar.gz;
-    md5 = "0c395efec4d3b582af016ab03306ed0a";
-  };
-  inherit stdenv aterm ptsupport toolbuslib asfsupport errorsupport sglr;
-  buildInputs = [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
deleted file mode 100644
index de23398cccbb..000000000000
--- a/pkgs/development/tools/parsing/asc-support/asc-support-2.0.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, aterm, toolbuslib, ptsupport, asfsupport, errorsupport, sglr}:
-
-stdenv.mkDerivation {
-  name = "asc-support-2.0";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/asc-support-2.0.tar.gz;
-    md5 = "34368ca79e524157bf6e89281371cb5a";
-  };
-  inherit stdenv aterm ptsupport toolbuslib asfsupport errorsupport sglr;
-  buildInputs = [stdenv aterm ptsupport toolbuslib asfsupport errorsupport sglr];
-}
diff --git a/pkgs/development/tools/parsing/asc-support/builder.sh b/pkgs/development/tools/parsing/asc-support/builder.sh
deleted file mode 100644
index c3167b6c1f35..000000000000
--- a/pkgs/development/tools/parsing/asc-support/builder.sh
+++ /dev/null
@@ -1,3 +0,0 @@
-source $stdenv/setup
-configureFlags="--with-aterm=$aterm --with-toolbuslib=$toolbuslib --with-pt-support=$ptsupport --with-asf-support=$asfsupport"
-genericBuild
\ No newline at end of file
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
deleted file mode 100644
index c577d07db07b..000000000000
--- a/pkgs/development/tools/parsing/asf-library/asf-library-1.0.nix
+++ /dev/null
@@ -1,10 +0,0 @@
-{stdenv, fetchurl}:
-
-stdenv.mkDerivation {
-  name = "asf-library-1.0";
-  src = fetchurl {
-    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
deleted file mode 100644
index 6344b3a47acc..000000000000
--- a/pkgs/development/tools/parsing/asf-library/asf-library-1.1.nix
+++ /dev/null
@@ -1,10 +0,0 @@
-{stdenv, fetchurl}:
-
-stdenv.mkDerivation {
-  name = "asf-library-1.1";
-  src = fetchurl {
-    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
deleted file mode 100644
index fbbf8b69ce77..000000000000
--- a/pkgs/development/tools/parsing/asf-support/asf-support-1.2.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, aterm, ptsupport}:
-
-stdenv.mkDerivation {
-  name = "asf-support-1.2";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/asf-support-1.2.tar.gz;
-    md5 = "f32de4c97e62486b67e0af4408585980";
-  };
-  inherit stdenv aterm ptsupport;
-  buildInputs = [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
deleted file mode 100644
index a0cd69f15dd4..000000000000
--- a/pkgs/development/tools/parsing/asf-support/asf-support-1.3.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, aterm, ptsupport, errorsupport}:
-
-stdenv.mkDerivation {
-  name = "asf-support-1.3";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/asf-support-1.3.tar.gz;
-    md5 = "23539387ff9b0423c1c1933a8ff75d27";
-  };
-  inherit stdenv aterm ptsupport errorsupport;
-  buildInputs = [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
deleted file mode 100644
index 4bb2c3d5c66b..000000000000
--- a/pkgs/development/tools/parsing/asf-support/asf-support-1.4.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, aterm, ptsupport, errorsupport}:
-
-stdenv.mkDerivation {
-  name = "asf-support-1.4";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/asf-support-1.4.tar.gz;
-    md5 = "520ea7d73094346d3010187f22927870";
-  };
-  inherit stdenv aterm ptsupport errorsupport;
-  buildInputs = [stdenv aterm ptsupport errorsupport];
-}
diff --git a/pkgs/development/tools/parsing/asf-support/builder.sh b/pkgs/development/tools/parsing/asf-support/builder.sh
deleted file mode 100644
index ae812d4aee26..000000000000
--- a/pkgs/development/tools/parsing/asf-support/builder.sh
+++ /dev/null
@@ -1,5 +0,0 @@
-source $stdenv/setup
-configureFlags="--with-aterm=$aterm --with-pt-support=$ptsupport"
-genericBuild
-
-
diff --git a/pkgs/development/tools/parsing/error-support/builder.sh b/pkgs/development/tools/parsing/error-support/builder.sh
deleted file mode 100644
index b0927b28dbfc..000000000000
--- a/pkgs/development/tools/parsing/error-support/builder.sh
+++ /dev/null
@@ -1,3 +0,0 @@
-source $stdenv/setup
-configureFlags="--with-aterm=$aterm --with-toolbuslib=$toolbuslib"
-genericBuild
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
deleted file mode 100644
index 13142d6ff21e..000000000000
--- a/pkgs/development/tools/parsing/error-support/error-support-0.1.1.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, aterm, toolbuslib}: 
-
-stdenv.mkDerivation {
-  name = "error-support-0.1.1";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/error-support-0.1.1.tar.gz;
-    md5 = "ebd0965e29ee22508a189477b1dae12b";
-  };
-  inherit aterm toolbuslib;
-  buildInputs = [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
deleted file mode 100644
index 53c223f3eafc..000000000000
--- a/pkgs/development/tools/parsing/error-support/error-support-0.1.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, aterm, toolbuslib}: 
-
-stdenv.mkDerivation {
-  name = "error-support-0.1";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/error-support-0.1.tar.gz;
-    md5 = "906389fd8b44bf2847d8281450d5a701";
-  };
-  inherit aterm toolbuslib;
-  buildInputs = [aterm toolbuslib];
-}
diff --git a/pkgs/development/tools/parsing/pgen/builder.sh b/pkgs/development/tools/parsing/pgen/builder.sh
deleted file mode 100644
index cdb1271466e6..000000000000
--- a/pkgs/development/tools/parsing/pgen/builder.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-source $stdenv/setup
-configureFlags="--with-aterm=$aterm \
-                --with-toolbuslib=$toolbuslib \
-                --with-pt-support=$ptsupport \
-                --with-sdf-support=$sdfsupport \
-                --with-asf-support=$asfsupport \
-                --with-asc-support=$asfsupport \
-                --with-sglr=$sglr"
-genericBuild
diff --git a/pkgs/development/tools/parsing/pgen/pgen-2.0.nix b/pkgs/development/tools/parsing/pgen/pgen-2.0.nix
deleted file mode 100644
index 571efd4f2d45..000000000000
--- a/pkgs/development/tools/parsing/pgen/pgen-2.0.nix
+++ /dev/null
@@ -1,13 +0,0 @@
-{stdenv, getopt, fetchurl, aterm, toolbuslib, ptsupport, sdfsupport, asfsupport, ascsupport, sglr}:
-
-stdenv.mkDerivation {
-  name = "pgen-2.0";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/pgen-2.0.tar.gz;
-    md5 = "368cd8abeed29591a35660d8cea79975";
-  };
-  inherit        aterm toolbuslib ptsupport sdfsupport asfsupport ascsupport sglr;
-  buildInputs = [aterm toolbuslib ptsupport sdfsupport asfsupport ascsupport sglr];
-  propagatedBuildInputs = [getopt];
-}
diff --git a/pkgs/development/tools/parsing/pgen/pgen-2.1.nix b/pkgs/development/tools/parsing/pgen/pgen-2.1.nix
deleted file mode 100644
index eafa402a49f0..000000000000
--- a/pkgs/development/tools/parsing/pgen/pgen-2.1.nix
+++ /dev/null
@@ -1,13 +0,0 @@
-{stdenv, getopt, fetchurl, aterm, toolbuslib, ptsupport, sdfsupport, asfsupport, ascsupport, errorsupport, sglr}:
-
-stdenv.mkDerivation {
-  name = "pgen-2.1";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/pgen-2.1.tar.gz;
-    md5 = "3fd46ae1ddc891a488f74350d7b477f9";
-  };
-  inherit        aterm toolbuslib ptsupport sdfsupport asfsupport ascsupport errorsupport sglr;
-  buildInputs = [aterm toolbuslib ptsupport sdfsupport asfsupport ascsupport errorsupport sglr];
-  propagatedBuildInputs = [getopt];
-}
diff --git a/pkgs/development/tools/parsing/pgen/pgen-2.2.nix b/pkgs/development/tools/parsing/pgen/pgen-2.2.nix
deleted file mode 100644
index 8f803a8072d2..000000000000
--- a/pkgs/development/tools/parsing/pgen/pgen-2.2.nix
+++ /dev/null
@@ -1,13 +0,0 @@
-{stdenv, getopt, fetchurl, aterm, toolbuslib, ptsupport, sdfsupport, asfsupport, ascsupport, errorsupport, sglr}:
-
-stdenv.mkDerivation {
-  name = "pgen-2.2";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/pgen-2.2.tar.gz;
-    md5 = "e23323a96d7b1f72a0e10673fa93ef7c";
-  };
-  inherit        aterm toolbuslib ptsupport sdfsupport asfsupport ascsupport errorsupport sglr;
-  buildInputs = [aterm toolbuslib ptsupport sdfsupport asfsupport ascsupport errorsupport sglr];
-  propagatedBuildInputs = [getopt];
-}
diff --git a/pkgs/development/tools/parsing/pt-support/builder.sh b/pkgs/development/tools/parsing/pt-support/builder.sh
deleted file mode 100644
index b0927b28dbfc..000000000000
--- a/pkgs/development/tools/parsing/pt-support/builder.sh
+++ /dev/null
@@ -1,3 +0,0 @@
-source $stdenv/setup
-configureFlags="--with-aterm=$aterm --with-toolbuslib=$toolbuslib"
-genericBuild
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
deleted file mode 100644
index 3961db6be5a6..000000000000
--- a/pkgs/development/tools/parsing/pt-support/pt-support-1.0.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, aterm, toolbuslib}: 
-
-stdenv.mkDerivation {
-  name = "pt-support-1.0";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/pt-support-1.0.tar.gz;
-    md5 = "cc96dc2bfbaf3f218dfe9a0b8bb4d801";
-  };
-  inherit aterm toolbuslib;
-  buildInputs = [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
deleted file mode 100644
index 8c2c3037a8d0..000000000000
--- a/pkgs/development/tools/parsing/pt-support/pt-support-1.1.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, aterm, toolbuslib, errorsupport}: 
-
-stdenv.mkDerivation {
-  name = "pt-support-1.1";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/pt-support-1.1.tar.gz;
-    md5 = "51bad46427c7cf95d029c33f079581ff";
-  };
-  inherit aterm toolbuslib errorsupport;
-  buildInputs = [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
deleted file mode 100644
index 6a605fe1d2da..000000000000
--- a/pkgs/development/tools/parsing/pt-support/pt-support-1.2.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, aterm, toolbuslib, errorsupport}: 
-
-stdenv.mkDerivation {
-  name = "pt-support-1.2";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/pt-support-1.2.tar.gz;
-    md5 = "2ba2fa388130b11b9b91970ebe20c1c7";
-  };
-  inherit aterm toolbuslib errorsupport;
-  buildInputs = [aterm toolbuslib errorsupport];
-}
diff --git a/pkgs/development/tools/parsing/sdf-support/builder.sh b/pkgs/development/tools/parsing/sdf-support/builder.sh
deleted file mode 100644
index 356a2b816b08..000000000000
--- a/pkgs/development/tools/parsing/sdf-support/builder.sh
+++ /dev/null
@@ -1,3 +0,0 @@
-source $stdenv/setup
-configureFlags="--with-aterm=$aterm --with-toolbuslib=$toolbuslib --with-pt-support=$ptsupport"
-genericBuild
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
deleted file mode 100644
index dfd05e79ad44..000000000000
--- a/pkgs/development/tools/parsing/sdf-support/sdf-support-2.0.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, aterm, toolbuslib, ptsupport}:
-
-stdenv.mkDerivation {
-  name = "sdf-support-2.0";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/sdf-support-2.0.tar.gz;
-    md5 = "2987b89ed1d73e34e128b895ff44264c";
-  };
-  inherit stdenv aterm ptsupport toolbuslib;
-  buildInputs = [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
deleted file mode 100644
index 582d5806d0f0..000000000000
--- a/pkgs/development/tools/parsing/sdf-support/sdf-support-2.1.1.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, aterm, toolbuslib, ptsupport, errorsupport}:
-
-stdenv.mkDerivation {
-  name = "sdf-support-2.1.1";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/sdf-support-2.1.1.tar.gz;
-    md5 = "28b2c044ee711d6c5f22772b7dfafb76";
-  };
-  inherit stdenv aterm ptsupport toolbuslib errorsupport;
-  buildInputs = [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
deleted file mode 100644
index 94588e27fe6f..000000000000
--- a/pkgs/development/tools/parsing/sdf-support/sdf-support-2.1.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, aterm, toolbuslib, ptsupport, errorsupport}:
-
-stdenv.mkDerivation {
-  name = "sdf-support-2.1";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/sdf-support-2.1.tar.gz;
-    md5 = "dbb1d3c51a82dadfaaf5319dba5cc9ef";
-  };
-  inherit stdenv aterm ptsupport toolbuslib errorsupport;
-  buildInputs = [stdenv aterm ptsupport toolbuslib errorsupport];
-}
diff --git a/pkgs/development/tools/parsing/sdf/sdf2-bundle-2.3.1.nix b/pkgs/development/tools/parsing/sdf/sdf2-bundle-2.3.1.nix
deleted file mode 100644
index a2120ed000d6..000000000000
--- a/pkgs/development/tools/parsing/sdf/sdf2-bundle-2.3.1.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, aterm, getopt, pkgconfig}:
-
-stdenv.mkDerivation {
-  name = "sdf2-bundle-2.3.1";
-  src = fetchurl {
-    url = ftp://ftp.stratego-language.org/pub/stratego/sdf2/sdf2-bundle-2.3.1/sdf2-bundle-2.3.1.tar.gz;
-    md5 = "4576b0b5315dccae8b038c53305c6979";
-  };
-
-  buildInputs = [aterm pkgconfig];
-  propagatedBuildInputs = [getopt];
-}
diff --git a/pkgs/development/tools/parsing/sdf/sdf2-bundle-2.3.2.nix b/pkgs/development/tools/parsing/sdf/sdf2-bundle-2.3.2.nix
deleted file mode 100644
index 4a1088d0a05f..000000000000
--- a/pkgs/development/tools/parsing/sdf/sdf2-bundle-2.3.2.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, aterm, getopt, pkgconfig}:
-
-stdenv.mkDerivation {
-  name = "sdf2-bundle-2.3.2";
-  src = fetchurl {
-    url = ftp://ftp.stratego-language.org/pub/stratego/sdf2/sdf2-bundle-2.3.2/sdf2-bundle-2.3.2.tar.gz;
-    md5 = "f548251570a903a7d26de50533ff0c9c";
-  };
-
-  buildInputs = [aterm pkgconfig];
-  propagatedBuildInputs = [getopt];
-}
diff --git a/pkgs/development/tools/parsing/sdf/sdf2-bundle-2.3.nix b/pkgs/development/tools/parsing/sdf/sdf2-bundle-2.3.nix
deleted file mode 100644
index f33c50a394ac..000000000000
--- a/pkgs/development/tools/parsing/sdf/sdf2-bundle-2.3.nix
+++ /dev/null
@@ -1,14 +0,0 @@
-{stdenv, fetchurl, aterm, getopt}:
-
-stdenv.mkDerivation {
-  name = "sdf2-bundle-2.3";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = ftp://ftp.stratego-language.org/pub/stratego/sdf2/sdf2-bundle-2.3/sdf2-bundle-2.3.tar.gz;
-    md5 = "79e305c2bdb2a5627719c890fb050bfa";
-  };
-
-  buildInputs = [aterm];
-  propagatedBuildInputs = [getopt];
-  inherit aterm;
-}
diff --git a/pkgs/development/tools/parsing/sglr/builder.sh b/pkgs/development/tools/parsing/sglr/builder.sh
deleted file mode 100644
index 356a2b816b08..000000000000
--- a/pkgs/development/tools/parsing/sglr/builder.sh
+++ /dev/null
@@ -1,3 +0,0 @@
-source $stdenv/setup
-configureFlags="--with-aterm=$aterm --with-toolbuslib=$toolbuslib --with-pt-support=$ptsupport"
-genericBuild
diff --git a/pkgs/development/tools/parsing/sglr/sglr-3.10.2.nix b/pkgs/development/tools/parsing/sglr/sglr-3.10.2.nix
deleted file mode 100644
index 6415ac89cf79..000000000000
--- a/pkgs/development/tools/parsing/sglr/sglr-3.10.2.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, aterm, toolbuslib, ptsupport}:
-
-stdenv.mkDerivation {
-  name = "sglr-3.10.2";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/sglr-3.10.2.tar.gz;
-    md5 = "39aa609be84115d7ddc56a6c74b792b7";
-  };
-  inherit stdenv aterm ptsupport toolbuslib;
-  buildInputs = [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
deleted file mode 100644
index 5ae6f946a11a..000000000000
--- a/pkgs/development/tools/parsing/sglr/sglr-3.11.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, aterm, toolbuslib, ptsupport, errorsupport}:
-
-stdenv.mkDerivation {
-  name = "sglr-3.11";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/sglr-3.11.tar.gz;
-    md5 = "c60536c7e967e93d1ec2cd9c8ae0a4ae";
-  };
-  inherit stdenv aterm ptsupport toolbuslib errorsupport;
-  buildInputs = [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
deleted file mode 100644
index f385a8761074..000000000000
--- a/pkgs/development/tools/parsing/sglr/sglr-3.12.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, aterm, toolbuslib, ptsupport, errorsupport}:
-
-stdenv.mkDerivation {
-  name = "sglr-3.12";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/sglr-3.12.tar.gz;
-    md5 = "053753e419adfc337c4776412e3787ab";
-  };
-  inherit stdenv aterm ptsupport toolbuslib errorsupport;
-  buildInputs = [stdenv aterm ptsupport toolbuslib errorsupport];
-}
diff --git a/pkgs/development/tools/parsing/sglr/sglr-3.14.nix b/pkgs/development/tools/parsing/sglr/sglr-3.14.nix
deleted file mode 100644
index 3b92926943d5..000000000000
--- a/pkgs/development/tools/parsing/sglr/sglr-3.14.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, aterm, toolbuslib, ptsupport, errorsupport}:
-
-stdenv.mkDerivation {
-  name = "sglr-3.14";
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = http://nix.cs.uu.nl/dist/tarballs/sglr-3.14.tar.gz;
-    md5 = "c63d2ef0015f5cf2c7cf996d33700dfc";
-  };
-  inherit stdenv aterm ptsupport toolbuslib errorsupport;
-  buildInputs = [stdenv aterm ptsupport toolbuslib errorsupport];
-}