anchor.diff:      input = desktop.gnomepanel;
     };
     
  -}+}
  
positive.code: 
    # Platform
  
    platform = (import ./src-gnome-platform-2.14.2.nix) {
      inherit fetchurl;
    };
  
  
negative.code: 
    # Desktop
  
    #desktop = (import ./src-gnome-desktop-2.14.2.nix) {
    desktop = (import ./src-gnome-desktop-2.10.1.nix) {
      inherit fetchurl;
    };
  
  