>>> Emerging : portage://sci-mathematics/lean-4.24.0:run?{[]}

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

Calculating dependencies... done!

 └─step  1─┤ download  portage://sci-mathematics/cadical-3.0.0
             │           └─ file ─┤ 865.07 Kb  	 cadical-3.0.0.tar.gz
             │ download  portage://sci-mathematics/lean-4.24.0
             │           └─ file ─┤ 44.28 Mb  	 lean-4.24.0.tar.gz

 └─step  2─┤ install   portage://sci-mathematics/cadical-3.0.0
             │           └─ conf ─┤ SLOT = "0/3.0.0"

 └─step  3─┤ run       portage://sci-mathematics/cadical-3.0.0

 └─step  4─┤ install   portage://sci-mathematics/lean-4.24.0
             │           └─ conf ─┤ USE = "-debug -source"
             │                    │ SLOT = "0/4"

 └─step  5─┤ run     portage://sci-mathematics/lean-4.24.0

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