anchor.diff: -{ stdenv, fetchFromGitHub, gradle_3_5, perl, makeWrapper, jre, gsettings-desktop-schemas }:
  +{ stdenv, fetchFromGitHub, gradle_4_10, perl, makeWrapper, jre, gsettings-desktop-schemas }:
   
   let
  -  version = "0.9.2";
  +  version = "0.9.3-3";
     name = "mucommander-${version}";
   
     src = fetchFromGitHub {
       owner = "mucommander";
       repo = "mucommander";
       rev = version;
  -    sha256 = "1fvij0yjjz56hsyddznx7mdgq1zm25fkng3axl03iyrij976z7b8";
  +    sha256 = "1zhglsx3b5k6np3ppfkkrqz9wg0j7ip598xxfgn75gjl020w0can";
     };
   
     postPatch = ''
       # there is no .git anyway
       substituteInPlace build.gradle \
         --replace "git = org.ajoberstar.grgit.Grgit.open(file('.'))"  "" \
  -      --replace "revision = git.head().id"                          "revision = 'abcdefgh'"
  +      --replace "revision = git.head().id"                          "revision = 'abcdefgh'" \
  +      --replace "proguard.enabled =" "// proguard.enabled =" \
  +      --replace "version = '0.9.4'" "version = '${version}'"
   
       # disable gradle plugins with native code and their targets
       perl -i.bak1 -pe "s#(^\s*id '.+' version '.+'$)#// \1#" build.gradle
  
positive.code:   deps = stdenv.mkDerivation {
      name = "${name}-deps";
      inherit src postPatch;
      nativeBuildInputs = [ gradle_3_5 perl ];
      buildPhase = ''
        export GRADLE_USER_HOME=$(mktemp -d)
        gradle --no-daemon build
  
negative.code:                                 repositories { mavenLocal(); maven { url '${deps}' } }
                                 #" {} \;
  
      gradle --offline --no-daemon distTar
    '';
  
    installPhase = ''
  