anchor.diff:        { 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 ]
  +  ocamlNativeBuildInputs = [ ocamlPackages.ocaml ocamlPackages.findlib ]
  +    ++ optional (versionAtLeast "8.14") ocamlPackages.dune_2;
  +  ocamlBuildInputs = []
       ++ optional (!versionAtLeast "8.10") ocamlPackages.camlp5
       ++ optional (!versionAtLeast "8.13") ocamlPackages.num
       ++ optional (versionAtLeast "8.13") ocamlPackages.zarith;
  
positive.code:       (if versionAtLeast "8.10"
         then [ ocamlPackages.lablgtk3-sourceview3 glib gnome.adwaita-icon-theme ]
         else [ ocamlPackages.lablgtk ])
      ++ optional (versionAtLeast "8.14") ocamlPackages.dune_2
    ;
  
    postPatch = ''
  
negative.code: 
    prefixKey = "-prefix ";
  
    buildFlags = [ "revision" "coq" ] ++ optional buildIde "coqide" ++ optional (!versionAtLeast "8.14") "bin/votour";
    enableParallelBuilding = true;
  
    createFindlibDestdir = true;
  