>>> Emerging : portage://sci-mathematics/kind2-1.9.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/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/result-1.5
             │           └─ file ─┤ 2.24 Kb  	 result-1.5.tar.gz
             │ download  portage://dev-ml/yojson-3.0.0
             │           └─ file ─┤ 55.36 Kb  	 yojson-3.0.0.gh.tar.gz
             │ download  portage://dev-ml/zmq-5.3.0
             │           └─ file ─┤ 34.30 Kb  	 ocaml-zmq-5.3.0.tar.gz
             │ download  portage://net-libs/zeromq-4.3.5-r1
             │           └─ file ─┤ 2.41 Mb  	 zeromq-4.3.5.tar.gz
             │ download  portage://sci-mathematics/kind2-1.9.0
             │           └─ file ─┤ 1.92 Mb  	 kind2-1.9.0.tar.gz

Total: 13 actions (13 downloads), grouped into 1 step.
       22.37 Mb to be downloaded.