anchor.diff:      inherit stdenv fetchurl aterm;
     };
   
  -  trac = import ../misc/trac {
  +  trac = platformPackage ["i686-linux"] ( import ../misc/trac {
       inherit stdenv fetchurl python clearsilver makeWrapper
         sqlite subversion;
       inherit (pythonPackages) pysqlite;
  -  };
  +  });
   
      vice = import ../misc/emulators/vice {
        inherit stdenv fetchurl perl gettext libpng giflib libjpeg alsaLib readline mesa;
  
positive.code:     inherit fetchurl stdenv perl;
    };
  
    kernelHeadersArm = import ../os-specific/linux/kernel-headers-cross {
      inherit fetchurl stdenv;
      cross = "arm-linux";
    };
  
    kernelHeadersMips = import ../os-specific/linux/kernel-headers-cross {
      inherit fetchurl stdenv;
      cross = "mips-linux";
    };
  
    kernelHeadersSparc = import ../os-specific/linux/kernel-headers-cross {
      inherit fetchurl stdenv;
      cross = "sparc-linux";
    };
  
    kernel_2_6_20 = import ../os-specific/linux/kernel/linux-2.6.20.nix {
      inherit fetchurl stdenv perl mktemp module_init_tools;
      kernelPatches = [
        { name = "paravirt-nvidia";
  
negative.code:     system == "powerpc-linux";
  
    jdkdistro = installjdk: pluginSupport:
      platformPackage ["i686-linux" "x86_64-linux" "powerpc-linux"]
      assert supportsJDK;
      (if pluginSupport then appendToName "plugin" else x: x) (import ../development/compilers/jdk {
        inherit fetchurl stdenv unzip installjdk xlibs pluginSupport makeWrapper;
  