portage-ng --merge
>>> Emerging : portage://sci-mathematics/coq-serapi-0.20.0: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/base-0.16.3-r1
│ └─ file ─┤ 432.26 Kb base-0.16.3.tar.gz
│ download portage://dev-ml/cmdliner-2.1.0
│ └─ file ─┤ 95.92 Kb cmdliner-2.1.0.tbz
│ download portage://dev-ml/cppo-1.8.0
│ └─ file ─┤ 42.57 Kb cppo-1.8.0.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-configurator-3.21.1
│ └─ file ─┤ 3.27 Mb dune-3.21.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/ocaml-compiler-libs-0.12.4-r2
│ └─ file ─┤ 5.31 Kb ocaml-compiler-libs-0.12.4.tar.gz
│ download portage://dev-ml/ocaml-migrate-parsetree-2.4.0-r1
│ └─ file ─┤ 202.47 Kb ocaml-migrate-parsetree-2.4.0.tar.gz
│ download portage://dev-ml/ocamlbuild-0.16.1
│ └─ file ─┤ 197.67 Kb ocamlbuild-0.16.1.tar.gz
│ download portage://dev-ml/parsexp-0.16.0
│ └─ file ─┤ 55.57 Kb parsexp-0.16.0.tar.gz
│ download portage://dev-ml/ppx_compare-0.16.0
│ └─ file ─┤ 13.71 Kb ppx_compare-0.16.0.tar.gz
│ download portage://dev-ml/ppx_derivers-1.2.1
│ └─ file ─┤ 2.47 Kb ppx_derivers-1.2.1.tar.gz
│ download portage://dev-ml/ppx_deriving-5.2.1-r2
│ └─ file ─┤ 45.07 Kb ppx_deriving-5.2.1.tar.gz
│ download portage://dev-ml/ppx_deriving_yojson-3.10.0
│ └─ file ─┤ 20.63 Kb ppx_deriving_yojson-3.10.0.gh.tar.gz
│ download portage://dev-ml/ppx_hash-0.16.0
│ └─ file ─┤ 27.99 Kb ppx_hash-0.16.0.tar.gz
│ download portage://dev-ml/ppx_import-1.11.0-r1
│ └─ file ─┤ 13.69 Kb ppx_import-1.11.0.tar.gz
│ download portage://dev-ml/ppx_sexp_conv-0.16.0-r2
│ └─ file ─┤ 65.35 Kb ppx_sexp_conv-0.16.0.tar.gz
│ download portage://dev-ml/ppx_tools-6.6-r1
│ └─ file ─┤ 18.81 Kb ppx_tools-6.6.tar.gz
│ download portage://dev-ml/ppxlib-0.30.0-r2
│ └─ file ─┤ 560.31 Kb ppxlib-0.30.0.tar.gz
│ download portage://dev-ml/result-1.5
│ └─ file ─┤ 2.24 Kb result-1.5.tar.gz
│ download portage://dev-ml/sexplib-0.16.0-r1
│ └─ file ─┤ 53.73 Kb sexplib-0.16.0.tar.gz
│ download portage://dev-ml/sexplib0-0.16.0
│ └─ file ─┤ 21.65 Kb sexplib0-0.16.0.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/yojson-3.0.0
│ └─ file ─┤ 55.36 Kb yojson-3.0.0.gh.tar.gz
│ download portage://dev-ml/zarith-1.14
│ └─ file ─┤ 89.64 Kb zarith-1.14.tar.gz
│ download portage://sci-mathematics/coq-8.20.0-r1
│ └─ file ─┤ 7.48 Mb coq-8.20.0.tar.gz
│ download portage://sci-mathematics/coq-serapi-0.20.0
│ └─ file ─┤ 178.20 Kb coq-serapi-0.20.0.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/findlib-1.9.8
│ 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/ocamlbuild-0.16.1
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/0.16.1"
│ 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/ocaml-compiler-libs-0.12.4-r2
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/0.12.4"
│ install portage://dev-ml/ocaml-migrate-parsetree-2.4.0-r1
│ └─ conf ─┤ USE = "ocamlopt -test"
│ │ SLOT = "0/2.4.0"
│ install portage://dev-ml/ppx_derivers-1.2.1
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/1.2.1"
│ install portage://dev-ml/sexplib0-0.16.0
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/0.16.0"
│ install portage://dev-ml/yojson-3.0.0
│ └─ conf ─┤ USE = "ocamlopt -examples -test"
│ │ SLOT = "0/3.0.0"
│ install portage://dev-ml/stdlib-shims-0.3.0
│ └─ conf ─┤ USE = "ocamlopt"
│ run portage://dev-ml/num-1.6-r1
│ run portage://dev-ml/ocamlbuild-0.16.1
│ run portage://dev-ml/zarith-1.14
└─step 8─┤ run portage://dev-ml/result-1.5
│ run portage://dev-ml/ocaml-compiler-libs-0.12.4-r2
│ run portage://dev-ml/ocaml-migrate-parsetree-2.4.0-r1
│ run portage://dev-ml/ppx_derivers-1.2.1
│ run portage://dev-ml/sexplib0-0.16.0
│ run portage://dev-ml/yojson-3.0.0
│ run portage://dev-ml/stdlib-shims-0.3.0
└─step 9─┤ install portage://sci-mathematics/coq-8.20.0-r1
│ └─ conf ─┤ USE = "ocamlopt (-doc) -debug -gui -test"
│ │ SLOT = "0/8.20.0"
│ install portage://dev-ml/cppo-1.8.0
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/1.8.0"
└─step 10─┤ install portage://dev-ml/ppxlib-0.30.0-r2
│ └─ conf ─┤ USE = "ocamlopt -test"
│ │ SLOT = "0/0.30.0"
│ install portage://dev-ml/csexp-1.5.2-r1
│ └─ conf ─┤ USE = "ocamlopt -test"
│ │ SLOT = "0/1.5.2"
│ install portage://dev-ml/topkg-1.1.1
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/1.1.1"
│ run portage://sci-mathematics/coq-8.20.0-r1
└─step 11─┤ install portage://dev-ml/ppx_tools-6.6-r1
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/6.6"
│ run portage://dev-ml/ppxlib-0.30.0-r2
│ run portage://dev-ml/csexp-1.5.2-r1
└─step 12─┤ install portage://dev-ml/cmdliner-2.1.0
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/2.1.0"
│ run portage://dev-ml/ppx_tools-6.6-r1
└─step 13─┤ install portage://dev-ml/dune-configurator-3.21.1
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/3.21.1"
│ install portage://dev-ml/ppx_import-1.11.0-r1
│ └─ conf ─┤ USE = "ocamlopt -test"
│ │ SLOT = "0/1.11.0"
│ run portage://dev-ml/cmdliner-2.1.0
└─step 14─┤ install portage://dev-ml/ppx_deriving-5.2.1-r2
│ └─ conf ─┤ USE = "ocamlopt -test"
│ │ SLOT = "0/5.2.1"
│ run portage://dev-ml/dune-configurator-3.21.1
│ run portage://dev-ml/ppx_import-1.11.0-r1
└─step 15─┤ run portage://dev-ml/ppx_deriving-5.2.1-r2
└─step 16─┤ install portage://dev-ml/base-0.16.3-r1
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/0.16"
└─step 17─┤ install portage://dev-ml/ppx_deriving_yojson-3.10.0
│ └─ conf ─┤ USE = "ocamlopt -test"
│ │ SLOT = "0/3.10.0"
│ run portage://dev-ml/base-0.16.3-r1
└─step 18─┤ run portage://dev-ml/ppx_deriving_yojson-3.10.0
└─step 19─┤ install portage://dev-ml/ppx_compare-0.16.0
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/0.16"
│ install portage://dev-ml/ppx_sexp_conv-0.16.0-r2
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/0.16"
│ install portage://dev-ml/parsexp-0.16.0
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/0.16"
└─step 20─┤ run portage://dev-ml/ppx_compare-0.16.0
│ run portage://dev-ml/ppx_sexp_conv-0.16.0-r2
│ run portage://dev-ml/parsexp-0.16.0
└─step 21─┤ install portage://dev-ml/ppx_hash-0.16.0
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/0.16"
│ install portage://dev-ml/sexplib-0.16.0-r1
│ └─ conf ─┤ USE = "ocamlopt"
│ │ SLOT = "0/0.16"
└─step 22─┤ run portage://dev-ml/ppx_hash-0.16.0
│ run portage://dev-ml/sexplib-0.16.0-r1
└─step 23─┤ install portage://sci-mathematics/coq-serapi-0.20.0
│ └─ conf ─┤ USE = "ocamlopt -emacs -test"
│ │ SLOT = "0/0.20.0"
└─step 24─┤ run portage://sci-mathematics/coq-serapi-0.20.0
Total: 91 actions (31 downloads, 31 installs, 29 runs), grouped into 24 steps.
22.15 Mb to be downloaded.