anchor.diff:  , customOCamlPackages ? null
   , ocamlPackages_4_05, ocamlPackages_4_09, ocamlPackages_4_10, ncurses
   , buildIde ? true
  -, glib, gnome, wrapGAppsHook
  +, glib, gnome, wrapGAppsHook, makeDesktopItem, copyDesktopItems
   , csdp ? null
   , version, coq-version ? null,
   }@args:
  
positive.code: 
    createFindlibDestdir = true;
  
    postInstall = ''
      cp bin/votour $out/bin/
      ln -s $out/lib/coq $OCAMLFIND_DESTDIR/coq
    '';
  
    meta = with lib; {
      description = "Coq proof assistant";
      longDescription = ''
        Coq is a formal proof management system.  It provides a formal language
  
negative.code:     '';
    };
  
    nativeBuildInputs = [ pkg-config ]
      ++ optional buildIde copyDesktopItems
      ++ optional (!versionAtLeast "8.6") gnumake42;
    buildInputs = [ ncurses ] ++ ocamlBuildInputs
      ++ optionals buildIde
        (if versionAtLeast "8.10"
  