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: 
          nix-prefetch-url --type sha256 file:///path/to/${name}
      '';
      # obtained by `sha256sum sqldeveloper-${version}-no-jre.zip`
      sha256 = "7e92ca94d02489002db291c96f1d67f9b2501a8967ff3457103fcf60c1eb154a";
    };
  
    buildInputs = [ makeWrapper unzip ];
  
    buildCommand = ''
      mkdir -p $out/bin
      echo  >$out/bin/sqldeveloper '#! ${stdenv.shell}'
      echo >>$out/bin/sqldeveloper 'export JAVA_HOME=${openjdk}/lib/openjdk'
      echo >>$out/bin/sqldeveloper 'export JDK_HOME=$JAVA_HOME'
      echo >>$out/bin/sqldeveloper "cd $out/lib/${name}/sqldeveloper/bin"
      echo >>$out/bin/sqldeveloper '${stdenv.shell} sqldeveloper "$@"'
      chmod +x $out/bin/sqldeveloper
  
      mkdir -p $out/lib/
      cd $out
      unzip ${src}
      mv sqldeveloper $out/lib/${name}
  
      install -D -m 444 $out/lib/$name/icon.png $out/share/pixmaps/sqldeveloper.png
      mkdir -p $out/share/applications
      cp ${desktopItem}/share/applications/* $out/share/applications
    '';
  
    meta = with stdenv.lib; {
  
negative.code: { stdenv, makeDesktopItem, makeWrapper, requireFile, unzip, jdk }:
  
  let
    version = "17.4.1.054.0712";
  