anchor.diff:  
     prefixKey = "-prefix ";
   
  -  buildFlags = [ "revision" "coq" "coqide" ] ++ optional (!versionAtLeast "8.14") "bin/votour";
  +  buildFlags = [ "revision" "coq" ] ++ optional buildIde "coqide" ++ optional (!versionAtLeast "8.14") "bin/votour";
     enableParallelBuilding = true;
   
     createFindlibDestdir = true;
  
positive.code:       { case = range "8.7" "8.10";  out = ocamlPackages_4_09; }
        { case = range "8.5" "8.6";   out = ocamlPackages_4_05; }
      ] ocamlPackages_4_12;
    ocamlBuildInputs = [ ocamlPackages.ocaml ocamlPackages.findlib ]
      ++ optional (!versionAtLeast "8.10") ocamlPackages.camlp5
      ++ optional (!versionAtLeast "8.13") ocamlPackages.num
      ++ optional (versionAtLeast "8.13") ocamlPackages.zarith;
  
negative.code:   };
  
    nativeBuildInputs = [ pkg-config ]
      ++ ocamlNativeBuildInputs
      ++ optional buildIde copyDesktopItems
      ++ optional (buildIde && versionAtLeast "8.10") wrapGAppsHook
      ++ optional (!versionAtLeast "8.6") gnumake42;
  