anchor.diff:    nativeBuildInputs = [ pkg-config ]
       ++ ocamlNativeBuildInputs
       ++ optional buildIde copyDesktopItems
  -    ++ optional (buildIde && versionAtLeast "8.10") wrapGAppsHook
  -    ++ optional (!versionAtLeast "8.6") gnumake42;
  +    ++ optional (buildIde && coqAtLeast "8.10") wrapGAppsHook
  +    ++ optional (!coqAtLeast "8.6") gnumake42;
     buildInputs = [ ncurses ] ++ ocamlBuildInputs
       ++ optionals buildIde
  -      (if versionAtLeast "8.10"
  +      (if coqAtLeast "8.10"
          then [ ocamlPackages.lablgtk3-sourceview3 glib gnome.adwaita-icon-theme ]
          else [ ocamlPackages.lablgtk ])
     ;
  
positive.code: 
    prefixKey = "-prefix ";
  
    buildFlags = [ "revision" "coq" ] ++ optional buildIde "coqide" ++ optional (!versionAtLeast "8.14") "bin/votour";
    enableParallelBuilding = true;
  
    createFindlibDestdir = true;
  
negative.code:     addEnvHooks "$targetOffset" addCoqPath
    '';
  
    preConfigure = if coqAtLeast "8.10" then ''
      patchShebangs dev/tools/
    '' else ''
      configureFlagsArray=(
  