diff options
Diffstat (limited to 'pkgs/development/tools/parsing/pt-support/pt-support-1.2.nix')
-rw-r--r-- | pkgs/development/tools/parsing/pt-support/pt-support-1.2.nix | 12 |
1 files changed, 0 insertions, 12 deletions
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 6a605fe1d2d..00000000000 --- 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]; -} |