portage-ng --merge
>>> 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
└─step 2─┤ install portage://net-libs/zeromq-4.3.5-r1
│ └─ conf ─┤ USE = "libbsd sodium -doc -drafts -static-libs -test -unwind"
│ │ SLOT = "0/5"
└─step 3─┤ install portage://dev-lang/ocaml-5.5.1
│ └─ conf ─┤ USE = "ocamlopt -emacs -flambda -latex -test -xemacs"
│ │ SLOT = "0/5.5.1"
│ run portage://net-libs/zeromq-4.3.5-r1
└─step 4─┤ run portage://dev-lang/ocaml-5.5.1
└─step 5─┤ 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 6─┤ run portage://dev-ml/dune-3.23.1
└─step 7─┤ install portage://dev-ml/num-1.6-r1
│ └─ conf ─┤ USE = "ocamlopt"
└─step 8─┤ install portage://dev-ml/menhir-20250912
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/20250912"
│ install portage://dev-ml/result-1.5
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/1.5"
│ install portage://dev-ml/yojson-3.0.0
│ └─ conf ─┤ USE = "ocamlopt -examples -test"
│ │ SLOT = "0/3.0.0"
│ install portage://dev-ml/dune-build-info-3.21.1
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/3.21.1"
│ run portage://dev-ml/num-1.6-r1
└─step 9─┤ run portage://dev-ml/menhir-20250912
│ run portage://dev-ml/result-1.5
│ run portage://dev-ml/yojson-3.0.0
└─step 10─┤ install portage://dev-ml/csexp-1.5.2-r1
│ └─ conf ─┤ USE = "ocamlopt -test"
│ │ SLOT = "0/1.5.2"
└─step 11─┤ run portage://dev-ml/csexp-1.5.2-r1
└─step 12─┤ install portage://dev-ml/dune-configurator-3.21.1
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/3.21.1"
└─step 13─┤ install portage://dev-ml/zmq-5.3.0
│ └─ conf ─┤ USE = "ocamlopt -test"
│ │ SLOT = "0/5.3.0"
└─step 14─┤ run portage://dev-ml/zmq-5.3.0
└─step 15─┤ install portage://sci-mathematics/kind2-1.9.0
│ └─ conf ─┤ USE = "ocamlopt -test"
│ │ SLOT = "0/1.9.0"
└─step 16─┤ run portage://sci-mathematics/kind2-1.9.0
Total: 36 actions (13 downloads, 13 installs, 10 runs), grouped into 16 steps.
22.37 Mb to be downloaded.