>>> Emerging : portage://sci-mathematics/twelf-1.7.1-r2:run?{[]}

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

Calculating dependencies... done!

 └─step  1─┤ download  portage://dev-lang/mlton-20180207
             │ download  portage://sci-mathematics/twelf-1.7.1-r2
             │           └─ file ─┤ 1.09 Mb  	 twelf-src-1.7.1.tar.gz

 └─step  2─┤ install   portage://dev-lang/mlton-20180207
             │           └─ conf ─┤ USE = "-binary -bootstrap-smlnj -doc -pax-kernel -stage3"
             │                    │ SLOT = "0/20180207"

 └─step  3─┤ run       portage://dev-lang/mlton-20180207

 └─step  4─┤ install   portage://sci-mathematics/twelf-1.7.1-r2
             │           └─ conf ─┤ USE = "-doc -emacs -examples"
             │                    │ SLOT = "0/1.7.1"

 └─step  5─┤ run     portage://sci-mathematics/twelf-1.7.1-r2

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