>>> 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

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