anchor.diff:      genericName = "minecraft";
       categories = "Game;";
     };
  +
  +  libPath = stdenv.lib.makeLibraryPath [
  +    libpulseaudio
  +    libXxf86vm # Needed only for versions <1.13
  +  ];
   
   in stdenv.mkDerivation {
     name = "minecraft-2015-07-24";
  
positive.code: { stdenv, fetchurl, makeDesktopItem, makeWrapper
  , jdk, jre, libpulseaudio
  }:
  
  let
  
negative.code: 
      makeWrapper ${jre}/bin/java $out/bin/minecraft \
        --add-flags "-jar $out/share/minecraft/minecraft.jar" \
        --suffix LD_LIBRARY_PATH : ${libPath}
  
      cp $src $out/share/minecraft/minecraft.jar
      cp -r ${desktopItem}/share/applications $out/share
  