>>> Emerging : portage://dev-lang/dafny-bin-4.11.0-r1:run?{[]}

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

Calculating dependencies... done!

 └─step  1─┤ download  portage://dev-lang/dafny-bin-4.11.0-r1
             │           └─ file ─┤ 62.28 Mb  	 dafny-4.11.0-x64-ubuntu-22.04.zip
             │ download  portage://dev-libs/userspace-rcu-0.15.6
             │           └─ file ─┤ 669.98 Kb  	 userspace-rcu-0.15.6.tar.bz2
             │ download  portage://dev-util/lttng-ust-compat-2.12.10
             │           └─ file ─┤ 782.67 Kb  	 lttng-ust-2.12.10.tar.bz2
             │ download  portage://sci-mathematics/z3-5.3.1
             │           └─ file ─┤ 7.50 Mb  	 z3-5.3.1.tar.gz

 └─step  2─┤ install   portage://dev-libs/userspace-rcu-0.15.6
             │           └─ conf ─┤ USE = "-static-libs -test -verify-sig"
             │                    │ SLOT = "0/8"
             │ 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://dev-libs/userspace-rcu-0.15.6
             │ run       portage://sci-mathematics/z3-5.3.1

 └─step  4─┤ install   portage://dev-util/lttng-ust-compat-2.12.10
             │           └─ conf ─┤ USE = "-numa -verify-sig"
             │                    │ SLOT = "0/2.12"

 └─step  5─┤ run       portage://dev-util/lttng-ust-compat-2.12.10

 └─step  6─┤ install   portage://dev-lang/dafny-bin-4.11.0-r1

 └─step  7─┤ run     portage://dev-lang/dafny-bin-4.11.0-r1

Total: 12 actions (4 downloads, 4 installs, 4 runs), grouped into 7 steps.
       71.21 Mb to be downloaded.