>>> Emerging : portage://sci-mathematics/vampire-5.0.1:run?{[]}

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

Calculating dependencies... done!

 └─step  1─┤ download  portage://sci-mathematics/vampire-5.0.1
             │           └─ file ─┤ 2.53 Mb  	 vampire-5.0.1.tar.gz
             │ download  portage://sci-mathematics/z3-5.3.1
             │           └─ file ─┤ 7.50 Mb  	 z3-5.3.1.tar.gz

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

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

 └─step  4─┤ install   portage://sci-mathematics/vampire-5.0.1
             │           └─ conf ─┤ USE = "z3 -test"
             │                    │ SLOT = "0/5.0.1"

 └─step  5─┤ run     portage://sci-mathematics/vampire-5.0.1

Total: 6 actions (2 downloads, 2 installs, 2 runs), grouped into 5 steps.
       10.03 Mb to be downloaded.