These are the packages that would be merged, in order:

Calculating dependencies ... done!
Dependency resolution took 1.60 s (backtrack: 7/20).

[ebuild  N     ] dev-lang/ocaml-4.14.2:0/4.14.2::gentoo  USE="ocamlopt -emacs -flambda -latex -xemacs" 5377 KiB
[ebuild  N     ] dev-ml/findlib-1.9.8::gentoo  USE="ocamlopt -doc -tk" 269 KiB
[ebuild  N     ] dev-ml/dune-3.23.1:0/3.23.1::gentoo  USE="-emacs -test" 3624 KiB
[ebuild  N     ] dev-ml/num-1.6-r1::gentoo  USE="ocamlopt" 67 KiB
[ebuild  N     ] dev-ml/zarith-1.14:0/1.14::gentoo  USE="ocamlopt -doc" 90 KiB
[ebuild  N     ] sci-mathematics/coq-8.20.0-r1:0/8.20.0::gentoo  USE="ocamlopt -debug (-doc) -gui -test" 7656 KiB
[ebuild  N     ] sci-mathematics/coq-mathcomp-1.19.0-r1:0/1.19.0::gentoo  1375 KiB

Total: 7 packages (7 new), Size of downloads: 18455 KiB

WARNING: One or more updates/rebuilds have been skipped due to a dependency conflict:

dev-lang/ocaml:0

  (dev-lang/ocaml-5.5.1:0/5.5.1::gentoo, ebuild scheduled for merge) USE="ocamlopt -emacs -flambda -latex -test -xemacs" conflicts with
    <dev-lang/ocaml-5 required by (sci-mathematics/coq-8.20.0-r1:0/8.20.0::gentoo, ebuild scheduled for merge) USE="ocamlopt -debug (-doc) -gui -test"
    ^               ^


!!! The following update(s) have been skipped due to unsatisfied dependencies
!!! triggered by backtracking:

dev-ml/findlib:0