anchor.diff:  
       echo ISABELLE_LINE_EDITOR=${rlwrap}/bin/rlwrap >>etc/settings
   
  -    for comp in contrib/jdk* contrib/polyml-* contrib/z3-*; do
  +    for comp in contrib/jdk* contrib/polyml-* contrib/z3-* contrib/verit-*; do
         rm -rf $comp/x86*
       done
       '' + (if ! stdenv.isLinux then "" else ''
  
positive.code:     # desktop item
      mkdir -p "$out/share"
      cp -r "${desktopItem}/share/applications" "$out/share/applications"
  
      wrapProgram $out/$dirname/src/HOL/Tools/ATP/scripts/remote_atp --set PERL5LIB ${perlPackages.makeFullPerlPath [ perlPackages.LWP ]}
    '';
  
    desktopItem = makeDesktopItem {
  
negative.code:       Z3_VERSION=${z3.version}
        Z3_SOLVER=${z3}/bin/z3
        Z3_INSTALLED=yes
      EOF
  
      cat >contrib/verit-*/etc/settings <<EOF
        ISABELLE_VERIT=${veriT}/bin/veriT
      EOF
  
      cat >contrib/polyml-*/etc/settings <<EOF
  