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

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

[ebuild  N     ] sci-mathematics/z3-5.1.0:0/5.1::gentoo  USE="gmp python -doc -examples -isabelle -java" PYTHON_SINGLE_TARGET="python3_14 -python3_12 -python3_13 (-python3_15)" 6533 KiB

Total: 1 package (1 new), Size of downloads: 6533 KiB