>>> Emerging : portage://sci-mathematics/alt-ergo-2.4.3-r3: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/camlzip-1.14
             │           └─ file ─┤ 32.05 Kb  	 camlzip-1.14.tar.gz
             │ download  portage://dev-ml/cmdliner-2.1.0
             │           └─ file ─┤ 95.92 Kb  	 cmdliner-2.1.0.tbz
             │ download  portage://dev-ml/csexp-1.5.2-r1
             │           └─ file ─┤ 11.18 Kb  	 csexp-1.5.2.tbz
             │ download  portage://dev-ml/dune-3.23.1
             │           └─ file ─┤ 3.54 Mb  	 dune-3.23.1.tar.gz
             │ download  portage://dev-ml/dune-build-info-3.21.1
             │           └─ file ─┤ 3.27 Mb  	 dune-3.21.1.tar.gz
             │ download  portage://dev-ml/dune-configurator-3.21.1
             │           └─ file ─┤ 3.27 Mb  	 dune-3.21.1.tar.gz
             │ download  portage://dev-ml/findlib-1.9.8-r1
             │           └─ file ─┤ 268.23 Kb  	 findlib-1.9.8.tar.gz
             │ download  portage://dev-ml/menhir-20250912
             │           └─ file ─┤ 1.22 Mb  	 menhir-20250912.tar.bz2
             │ download  portage://dev-ml/num-1.6-r1
             │           └─ file ─┤ 66.16 Kb  	 num-1.6.tar.gz
             │ download  portage://dev-ml/ocamlbuild-0.16.1
             │           └─ file ─┤ 197.67 Kb  	 ocamlbuild-0.16.1.tar.gz
             │ download  portage://dev-ml/ocplib-simplex-0.4.1
             │           └─ file ─┤ 31.21 Kb  	 ocplib-simplex-0.4.1.tar.gz
             │ download  portage://dev-ml/result-1.5
             │           └─ file ─┤ 2.24 Kb  	 result-1.5.tar.gz
             │ download  portage://dev-ml/stdlib-shims-0.3.0
             │           └─ file ─┤ 9.92 Kb  	 stdlib-shims-0.3.0.tbz
             │ download  portage://dev-ml/topkg-1.1.1
             │           └─ file ─┤ 118.85 Kb  	 topkg-1.1.1.tar.gz
             │ download  portage://dev-ml/zarith-1.14
             │           └─ file ─┤ 89.64 Kb  	 zarith-1.14.tar.gz
             │ download  portage://sci-mathematics/alt-ergo-2.4.3-r3
             │           └─ file ─┤ 2.77 Mb  	 alt-ergo-2.4.3.tar.gz
             │ 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"
             │ install   portage://dev-ml/findlib-1.9.8-r1
             │           └─ conf ─┤ USE = "ocamlopt -doc -tk"
             │                    │ SLOT = "0/1"

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

 └─step  6─┤ install   portage://dev-ml/ocamlbuild-0.16.1
             │           └─ conf ─┤ USE = "ocamlopt"
             │                    │ SLOT = "0/0.16.1"
             │ install   portage://dev-ml/camlzip-1.14
             │           └─ conf ─┤ USE = "ocamlopt"
             │                    │ SLOT = "1/1.14"
             │ install   portage://dev-ml/num-1.6-r1
             │           └─ conf ─┤ USE = "ocamlopt"
             │ install   portage://dev-ml/ocplib-simplex-0.4.1
             │           └─ conf ─┤ USE = "ocamlopt"
             │ install   portage://dev-ml/zarith-1.14
             │           └─ conf ─┤ USE = "ocamlopt -doc"
             │                    │ SLOT = "0/1.14"

 └─step  7─┤ install   portage://dev-ml/result-1.5
             │           └─ conf ─┤ USE = "ocamlopt"
             │                    │ SLOT = "0/1.5"
             │ install   portage://dev-ml/menhir-20250912
             │           └─ conf ─┤ USE = "ocamlopt"
             │                    │ SLOT = "0/20250912"
             │ install   portage://dev-ml/stdlib-shims-0.3.0
             │           └─ conf ─┤ USE = "ocamlopt"
             │ install   portage://dev-ml/dune-build-info-3.21.1
             │           └─ conf ─┤ USE = "ocamlopt"
             │                    │ SLOT = "0/3.21.1"
             │ run       portage://dev-ml/camlzip-1.14
             │ run       portage://dev-ml/num-1.6-r1
             │ run       portage://dev-ml/ocamlbuild-0.16.1
             │ run       portage://dev-ml/ocplib-simplex-0.4.1
             │ run       portage://dev-ml/zarith-1.14

 └─step  8─┤ run       portage://dev-ml/result-1.5
             │ run       portage://dev-ml/menhir-20250912
             │ run       portage://dev-ml/stdlib-shims-0.3.0

 └─step  9─┤ install   portage://dev-ml/csexp-1.5.2-r1
             │           └─ conf ─┤ USE = "ocamlopt -test"
             │                    │ SLOT = "0/1.5.2"
             │ install   portage://sci-mathematics/psmt2-frontend-0.4.0
             │           └─ conf ─┤ USE = "ocamlopt -test"
             │                    │ SLOT = "0/0.4.0"
             │ install   portage://dev-ml/topkg-1.1.1
             │           └─ conf ─┤ USE = "ocamlopt"
             │                    │ SLOT = "0/1.1.1"

 └─step 10─┤ run       portage://dev-ml/csexp-1.5.2-r1
             │ run       portage://sci-mathematics/psmt2-frontend-0.4.0

 └─step 11─┤ install   portage://dev-ml/cmdliner-2.1.0
             │           └─ conf ─┤ USE = "ocamlopt"
             │                    │ SLOT = "0/2.1.0"

 └─step 12─┤ install   portage://dev-ml/dune-configurator-3.21.1
             │           └─ conf ─┤ USE = "ocamlopt"
             │                    │ SLOT = "0/3.21.1"
             │ run       portage://dev-ml/cmdliner-2.1.0

 └─step 13─┤ install   portage://sci-mathematics/alt-ergo-2.4.3-r3
             │           └─ conf ─┤ USE = "ocamlopt -examples -gui"
             │                    │ SLOT = "0/2.4.3"

 └─step 14─┤ run     portage://sci-mathematics/alt-ergo-2.4.3-r3

Total: 51 actions (18 downloads, 18 installs, 15 runs), grouped into 14 steps.
       21.35 Mb to be downloaded.