anchor.diff:    };
     */
   
  -  
  +
     ### SERVERS
   
     rdf4store = callPackage ../servers/http/4store { };
  
positive.code:   };
  
    platforms = import ./platforms.nix;
    
  
    ### TOOLS
  
  
negative.code: 
    zathura = callPackage ../applications/misc/zathura { };
  
    zynaddsubfx = callPackage ../applications/audio/zynaddsubfx {
      fltk = fltk11;
    };
  
  