>>> Emerging : portage://sci-mathematics/verifpal-0.27.0:run?{[]}

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

Calculating dependencies... done!

 └─step  1─┤ download  portage://dev-lang/go-1.27.2
             │           └─ file ─┤ 33.51 Mb  	 go1.27.2.src.tar.gz
             │ download  portage://dev-lang/go-bootstrap-1.24.6
             │           └─ file ─┤ 69.70 Mb  	 go-bootstrap-1.24.6-linux-amd64.tbz
             │ download  portage://sci-mathematics/verifpal-0.27.0
             │           └─ file ─┤ 11.12 Mb  	 verifpal-0.27.0-deps.tar.xz
             │                    │ 245.18 Kb  	 verifpal-v0.27.0.tar.bz2

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