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

Calculating dependencies ... done!
Dependency resolution took 1.06 s (backtrack: 0/20).

[ebuild  N     ] dev-build/b2-5.5.3::gentoo  USE="-examples" 1198 KiB
[ebuild  N     ] dev-lang/ocaml-5.5.1:0/5.5.1::gentoo  USE="ocamlopt -emacs -flambda -latex -test -xemacs" 6457 KiB
[ebuild  N     ] dev-libs/boost-1.91.0-r2:0/1.91.0::gentoo  USE="bzip2 context nls python stacktrace zlib -debug -doc -icu -lzma -mpi -numpy -test -test-full -tools -zstd" PYTHON_TARGETS="python3_14 -python3_12 -python3_13" 199785 KiB
[ebuild  N     ] dev-ml/findlib-1.9.8-r1:0/1::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     ] sci-mathematics/gappa-1.4.2::gentoo  USE="-doc" 387 KiB
[ebuild  N     ] dev-ml/camlzip-1.14:1/1.14::gentoo  USE="ocamlopt" 33 KiB
[ebuild  N     ] dev-ml/num-1.6-r1::gentoo  USE="ocamlopt" 67 KiB
[ebuild  N     ] dev-ml/yojson-3.0.0:0/3.0.0::gentoo  USE="ocamlopt -examples -test" 56 KiB
[ebuild  N     ] dev-ml/zarith-1.14:0/1.14::gentoo  USE="ocamlopt -doc" 90 KiB
[ebuild  N     ] sci-mathematics/coq-9.2.0:0/9.2.0::gentoo  USE="ocamlopt -debug -gui -native-compiler -test" 6407 KiB
[ebuild  N     ] sci-mathematics/coq-stdlib-9.1.0:0/9.1.0::gentoo  USE="ocamlopt" 1821 KiB
[ebuild  N     ] sci-mathematics/flocq-4.2.1::gentoo  438 KiB
[ebuild  N     ] sci-mathematics/gappalib-coq-1.5.3::gentoo  USE="-ocamlopt" 117 KiB

Total: 14 packages (14 new), Size of downloads: 220741 KiB