anchor.diff:      categories = [ "Development" "Science" "Math" "IDE" "GTK" ];
     });
   
  -  postInstall = let suffix = if versionAtLeast "8.14" then "-core" else ""; in ''
  +  postInstall = let suffix = if coqAtLeast "8.14" then "-core" else ""; in ''
       cp bin/votour $out/bin/
       ln -s $out/lib/coq${suffix} $OCAMLFIND_DESTDIR/coq${suffix}
  -  '' + optionalString (versionAtLeast "8.14") ''
  +  '' + optionalString (coqAtLeast "8.14") ''
       ln -s $out/lib/coqide-server $OCAMLFIND_DESTDIR/coqide-server
     '' + optionalString buildIde ''
       mkdir -p "$out/share/pixmaps"
  
positive.code:       { case = range "8.5" "8.6";   out = ocamlPackages_4_05; }
      ] ocamlPackages_4_12;
    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;
  self = stdenv.mkDerivation {
    pname = "coq";
    inherit (fetched) version src;
  
negative.code: 
    prefixKey = "-prefix ";
  
    buildFlags = [ "revision" "coq" ] ++ optional buildIde "coqide" ++ optional (!coqAtLeast "8.14") "bin/votour";
    enableParallelBuilding = true;
  
    createFindlibDestdir = true;
  