>>> 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

Total: 4 actions (4 downloads), grouped into 1 step.
       71.21 Mb to be downloaded.