>>> Emerging : portage://sci-mathematics/coq-8.19.2-r1:run?{[]}

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

Calculating dependencies... done!

 └─step  1─┤ download  portage://dev-lang/ocaml-4.14.2
             │           └─ file ─┤ 5.25 Mb  	 ocaml-4.14.2.tar.gz
             │ download  portage://dev-ml/dune-3.23.1
             │           └─ file ─┤ 3.54 Mb  	 dune-3.23.1.tar.gz
             │ download  portage://dev-ml/findlib-1.9.8
             │           └─ file ─┤ 268.23 Kb  	 findlib-1.9.8.tar.gz
             │ download  portage://dev-ml/num-1.6-r1
             │           └─ file ─┤ 66.16 Kb  	 num-1.6.tar.gz
             │ download  portage://dev-ml/zarith-1.14
             │           └─ file ─┤ 89.64 Kb  	 zarith-1.14.tar.gz
             │ download  portage://sci-mathematics/coq-8.19.2-r1
             │           └─ file ─┤ 7.32 Mb  	 coq-8.19.2.tar.gz

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

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

 └─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
             │           └─ conf ─┤ USE = "ocamlopt -doc -tk"

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

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

 └─step  7─┤ run       portage://dev-ml/num-1.6-r1
             │ run       portage://dev-ml/zarith-1.14

 └─step  8─┤ install   portage://sci-mathematics/coq-8.19.2-r1
             │           └─ conf ─┤ USE = "ocamlopt (-doc) -debug -gui -test"
             │                    │ SLOT = "0/8.19.2"

 └─step  9─┤ run     portage://sci-mathematics/coq-8.19.2-r1

Total: 17 actions (6 downloads, 6 installs, 5 runs), grouped into 9 steps.
       16.53 Mb to be downloaded.