anchor.diff:      '';
       homepage = "https://basex.org/";
       license = licenses.bsd3;
  -    platforms = platforms.linux;
  +    platforms = platforms.unix;
       maintainers = [ maintainers.bjornfor ];
     };
   }
  
positive.code:                -e "s|echo|${coreutils}/bin/echo|" \
              "$file"
      done
    '';
  
    meta = with lib; {
  
negative.code: { lib, stdenv, fetchurl, unzip, jre, coreutils, makeDesktopItem, copyDesktopItems }:
  
  stdenv.mkDerivation rec {
    pname = "basex";
    version = "9.6.3";
  
    src = fetchurl {
      url = "http://files.basex.org/releases/${version}/BaseX${builtins.replaceStrings ["."] [""] version}.zip";
      hash = "sha256-OlIAyGUQKrl+Zu79p6cahHpx59zLozGkUDAEvykGN6Y=";
    };
  
    nativeBuildInputs = [ unzip copyDesktopItems ];
    buildInputs = [ jre ];
  
    desktopItems = lib.optional (!stdenv.isDarwin) (makeDesktopItem {
      name = "basex";
      exec = "basexgui %f";
      icon = "${./basex.svg}"; # icon copied from Ubuntu basex package
  