anchor.diff:      '';
       homepage = http://www.oracle.com/technetwork/developer-tools/sql-developer/overview/;
       license = licenses.unfree;
  +    platforms = [ "x86_64-linux" "x86_64-darwin" ];
       maintainers = [ maintainers.ardumont ];
  -    platforms = platforms.linux;
     };
   }
  
positive.code: { stdenv, makeDesktopItem, makeWrapper, requireFile, unzip, openjdk }:
  
  let
    version = "17.4.1.054.0712";
  
negative.code: 
          nix-prefetch-url --type sha256 file:///path/to/${name}
      '';
      sha256 = "7e92ca94d02489002db291c96f1d67f9b2501a8967ff3457103fcf60c1eb154a";
    };
  
    buildInputs = [ makeWrapper unzip ];
  
    unpackCmd = "unzip $curSrc";
  
    installPhase = ''
      mkdir -p $out/libexec $out/share/{applications,pixmaps}
      mv * $out/libexec/
  
      mv $out/libexec/icon.png $out/share/pixmaps/sqldeveloper.png
      cp ${desktopItem}/share/applications/* $out/share/applications
  
      makeWrapper $out/libexec/sqldeveloper/bin/sqldeveloper $out/bin/sqldeveloper \
        --set JAVA_HOME ${jdk.home} \
        --run "cd $out/libexec/sqldeveloper/bin"
    '';
  
    meta = with stdenv.lib; {
  