anchor.diff:        sha256 = "1bibabhlsvf6qsjjkgxcpq3cvl1z7r8yfcgqbhbvsiv69n3gyfk3";
       };
   
  -  buildInputs = [ perl polyml z3 ]
  +  buildInputs = [ perl polyml z3 makeWrapper ]
                ++ lib.optionals (!stdenv.isDarwin) [ nettools java ];
   
     sourceRoot = dirname;
  
positive.code: { lib, stdenv, fetchurl, perl, nettools, java, polyml, z3, rlwrap }:
  # nettools needed for hostname
  
  stdenv.mkDerivation rec {
  
negative.code:     mv $TMP/$dirname $out
      cd $out/$dirname
      bin/isabelle install $out/bin
  
      wrapProgram $out/$dirname/src/HOL/Tools/ATP/scripts/remote_atp --set PERL5LIB ${perlPackages.makeFullPerlPath [ perlPackages.LWP ]}
    '';
  
    meta = with lib; {
  