anchor.diff:      UNAME=$(type -tp uname)
       RM=$(type -tp rm)
       substituteInPlace tools/beautify-archive --replace "/bin/rm" "$RM"
  -    ${if !versionAtLeast "8.7" then "substituteInPlace configure.ml --replace \"md5 -q\" \"md5sum\"" else ""}
  +    ${if !coqAtLeast "8.7" then "substituteInPlace configure.ml --replace \"md5 -q\" \"md5sum\"" else ""}
       ${csdpPatch}
     '';
   
  
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: 
    prefixKey = "-prefix ";
  
    buildFlags = [ "revision" "coq" ] ++ optional buildIde "coqide" ++ optional (!coqAtLeast "8.14") "bin/votour";
    enableParallelBuilding = true;
  
    createFindlibDestdir = true;
  