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

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