>>> Emerging : portage://sci-mathematics/prover9-2009.11a-r2:run?{[]}

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

Calculating dependencies... done!

 └─step  1─┤ download  portage://sci-mathematics/prover9-2009.11a-r2
             │           └─ file ─┤ 4.20 Kb  	 LADR-2009-11A-makefile.patch.xz
             │                    │ 1.71 Mb  	 LADR-2009-11A.tar.gz

Total: 1 action (1 download), grouped into 1 step.
       1.72 Mb to be downloaded.