anchor.diff:  
   stdenv.mkDerivation rec {
     pname = "z3";
  -  version = "4.8.9";
  +  version = "4.8.10";
   
     src = fetchFromGitHub {
  -    owner  = "Z3Prover";
  -    repo   = pname;
  -    rev    = "z3-${version}";
  -    sha256 = "1hnbzq10d23drd7ksm3c1n2611c3kd0q0yxgz8y78zaafwczvwxx";
  +    owner = "Z3Prover";
  +    repo = pname;
  +    rev = "z3-${version}";
  +    sha256 = "1w1ym2l0gipvjx322npw7lhclv8rslq58gnj0d9i96masi3gbycf";
     };
   
     nativeBuildInputs = optional stdenv.hostPlatform.isDarwin fixDarwinDylibNames;
     buildInputs = [ python ]
  -  ++ optional javaBindings jdk
  -  ++ optionals ocamlBindings [ ocaml findlib zarith ]
  +    ++ optional javaBindings jdk
  +    ++ optionals ocamlBindings [ ocaml findlib zarith ]
     ;
     propagatedBuildInputs = [ python.pkgs.setuptools ];
     enableParallelBuilding = true;
  
positive.code:   '';
  
    outputs = [ "out" "lib" "dev" "python" ]
    ++ optional ocamlBindings "ocaml"
    ;
  
    meta = {
      description = "A high-performance theorem prover and SMT solver";
      homepage    = "https://github.com/Z3Prover/z3";
      license     = lib.licenses.mit;
      platforms   = lib.platforms.unix;
      maintainers = with lib.maintainers; [ thoughtpolice ttuegel ];
    };
  }
  
negative.code:     mkdir -p $OCAMLFIND_DESTDIR/stublibs
    '';
  
    configurePhase = concatStringsSep " "
      (
        [ "${python.interpreter} scripts/mk_make.py --prefix=$out" ]
          ++ optional javaBindings "--java"
          ++ optional ocamlBindings "--ml"
          ++ optional pythonBindings "--python --pypkgdir=$out/${python.sitePackages}"
      ) + "\n" + "cd build";
  
    postInstall = ''
      mkdir -p $dev $lib
      mv $out/lib $lib/lib
      mv $out/include $dev/include
    '' + optionalString pythonBindings ''
      mkdir -p $python/lib
  