>>> Emerging : portage://sci-mathematics/z3-5.1.0:run?{[]}

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

Calculating dependencies... done!

 └─step  1─┤ download  portage://sci-mathematics/z3-5.1.0
             │           └─ file ─┤ 6.38 Mb  	 z3-5.1.0.tar.gz

 └─step  2─┤ install   portage://sci-mathematics/z3-5.1.0
             │           └─ conf ─┤ USE = "gmp* python* -doc -examples -isabelle -java"
             │                    │ PYTHON_SINGLE_TARGET = "python3_14 -python3_12 -python3_13"
             │                    │ SLOT = "0/5.1"

 └─step  3─┤ run     portage://sci-mathematics/z3-5.1.0

Total: 3 actions (1 download, 1 install, 1 run), grouped into 3 steps.
       6.38 Mb to be downloaded.