>>> Emerging : portage://sci-mathematics/psmt2-frontend-0.4.0:run?{[]}

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

Calculating dependencies... done!

 └─step  1─┤ download  portage://dev-lang/ocaml-5.5.1
             │           └─ file ─┤ 6.30 Mb  	 ocaml-5.5.1.tar.gz
             │ download  portage://dev-ml/dune-3.23.1
             │           └─ file ─┤ 3.54 Mb  	 dune-3.23.1.tar.gz
             │ download  portage://dev-ml/menhir-20250912
             │           └─ file ─┤ 1.22 Mb  	 menhir-20250912.tar.bz2
             │ download  portage://sci-mathematics/psmt2-frontend-0.4.0
             │           └─ file ─┤ 69.14 Kb  	 psmt2-frontend-0.4.0.tar.gz

 └─step  2─┤ install   portage://dev-lang/ocaml-5.5.1
             │           └─ conf ─┤ USE = "ocamlopt -emacs -flambda -latex -test -xemacs"
             │                    │ SLOT = "0/5.5.1"

 └─step  3─┤ run       portage://dev-lang/ocaml-5.5.1

 └─step  4─┤ install   portage://dev-ml/dune-3.23.1
             │           └─ conf ─┤ USE = "-emacs -test"
             │                    │ SLOT = "0/3.23.1"

 └─step  5─┤ run       portage://dev-ml/dune-3.23.1

 └─step  6─┤ install   portage://dev-ml/menhir-20250912
             │           └─ conf ─┤ USE = "ocamlopt"
             │                    │ SLOT = "0/20250912"

 └─step  7─┤ run       portage://dev-ml/menhir-20250912

 └─step  8─┤ install   portage://sci-mathematics/psmt2-frontend-0.4.0
             │           └─ conf ─┤ USE = "ocamlopt -test"
             │                    │ SLOT = "0/0.4.0"

 └─step  9─┤ run     portage://sci-mathematics/psmt2-frontend-0.4.0

Total: 12 actions (4 downloads, 4 installs, 4 runs), grouped into 9 steps.
       11.13 Mb to be downloaded.