anchor.diff:      addEnvHooks "$targetOffset" addCoqPath
     '';
   
  -  preConfigure = if versionAtLeast "8.10" then ''
  +  preConfigure = if coqAtLeast "8.10" then ''
       patchShebangs dev/tools/
     '' else ''
       configureFlagsArray=(
  
positive.code:     args.version;
    version = fetched.version;
    coq-version = args.coq-version or (if version != "dev" then versions.majorMinor version else "dev");
    versionAtLeast = v: (coq-version == "dev") || (lib.versionAtLeast coq-version v);
    ideFlags = optionalString (buildIde && !versionAtLeast "8.10")
      "-lablgtkdir ${ocamlPackages.lablgtk}/lib/ocaml/*/site-lib/lablgtk2 -coqide opt";
    csdpPatch = if csdp != null then ''
      substituteInPlace plugins/micromega/sos.ml --replace "; csdp" "; ${csdp}/bin/csdp"
  
negative.code:     UNAME=$(type -tp uname)
      RM=$(type -tp rm)
      substituteInPlace tools/beautify-archive --replace "/bin/rm" "$RM"
      ${if !coqAtLeast "8.7" then "substituteInPlace configure.ml --replace \"md5 -q\" \"md5sum\"" else ""}
      ${csdpPatch}
    '';
  
  