>>> Emerging : portage://sci-mathematics/eprover-3.0.03:run?{[]}

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

Calculating dependencies... done!

 └─step  1─┤ download  portage://sci-mathematics/eprover-3.0.03
             │           └─ file ─┤ 1.45 Mb  	 eprover-3.0.03.tar.gz

 └─step  2─┤ install   portage://sci-mathematics/eprover-3.0.03
             │           └─ conf ─┤ USE = "ho"

 └─step  3─┤ run     portage://sci-mathematics/eprover-3.0.03

Total: 3 actions (1 download, 1 install, 1 run), grouped into 3 steps.
       1.45 Mb to be downloaded.