>>> Emerging : portage://sci-mathematics/gappalib-coq-1.5.3:run?{[]}

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

Calculating dependencies... done!

 └─step  1─┤ download  portage://dev-build/b2-5.5.3
             │           └─ file ─┤ 1.17 Mb  	 b2-5.5.3.tar.gz
             │ download  portage://dev-lang/ocaml-5.5.1
             │           └─ file ─┤ 6.30 Mb  	 ocaml-5.5.1.tar.gz
             │ download  portage://dev-libs/boost-1.91.0-r2
             │           └─ file ─┤ 195.10 Mb  	 boost_1_91_0.tar.bz2
             │ download  portage://dev-ml/camlzip-1.14
             │           └─ file ─┤ 32.05 Kb  	 camlzip-1.14.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-r1
             │           └─ 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/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-9.2.0
             │           └─ file ─┤ 6.26 Mb  	 coq-9.2.0.tar.gz
             │ download  portage://sci-mathematics/coq-stdlib-9.1.0
             │           └─ file ─┤ 1.78 Mb  	 coq-stdlib-9.1.0.gh.tar.gz
             │ download  portage://sci-mathematics/flocq-4.2.1
             │           └─ file ─┤ 437.33 Kb  	 flocq-4.2.1.tar.gz
             │ download  portage://sci-mathematics/gappa-1.4.2
             │           └─ file ─┤ 386.18 Kb  	 gappa-1.4.2.tar.gz
             │ download  portage://sci-mathematics/gappalib-coq-1.5.3
             │           └─ file ─┤ 116.99 Kb  	 gappalib-coq-1.5.3.tar.gz

 └─step  2─┤ install   portage://dev-lang/ocaml-5.5.1
             │           └─ conf ─┤ USE = "ocamlopt -emacs -flambda -latex -test -xemacs"
             │                    │ SLOT = "0/5.5.1"
             │ install   portage://dev-build/b2-5.5.3
             │           └─ conf ─┤ USE = "-examples"

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

 └─step  4─┤ install   portage://dev-libs/boost-1.91.0-r2
             │           └─ conf ─┤ USE = "bzip2 nls python* zlib context stacktrace -debug -doc -icu -lzma -mpi -numpy -test -test-full -tools -zstd"
             │                    │ PYTHON_TARGETS = "python3_14 -python3_12 -python3_13"
             │                    │ SLOT = "0/1.91.0"

 └─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"
             │ run       portage://dev-libs/boost-1.91.0-r2

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

 └─step  7─┤ install   portage://dev-ml/camlzip-1.14
             │           └─ conf ─┤ USE = "ocamlopt"
             │                    │ SLOT = "1/1.14"
             │ 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"
             │ install   portage://sci-mathematics/gappa-1.4.2
             │           └─ conf ─┤ USE = "-doc"

 └─step  8─┤ install   portage://dev-ml/yojson-3.0.0
             │           └─ conf ─┤ USE = "ocamlopt -examples -test"
             │                    │ SLOT = "0/3.0.0"
             │ run       portage://dev-ml/camlzip-1.14
             │ run       portage://dev-ml/num-1.6-r1
             │ run       portage://dev-ml/zarith-1.14
             │ run       portage://sci-mathematics/gappa-1.4.2

 └─step  9─┤ run       portage://dev-ml/yojson-3.0.0

 └─step 10─┤ install   portage://sci-mathematics/coq-9.2.0
             │           └─ conf ─┤ USE = "ocamlopt -debug -gui -native-compiler -test"
             │                    │ SLOT = "0/9.2.0"

 └─step 11─┤ run       portage://sci-mathematics/coq-9.2.0

 └─step 12─┤ install   portage://sci-mathematics/coq-stdlib-9.1.0
             │           └─ conf ─┤ USE = "ocamlopt"
             │                    │ SLOT = "0/9.1.0"

 └─step 13─┤ run       portage://sci-mathematics/coq-stdlib-9.1.0

 └─step 14─┤ install   portage://sci-mathematics/flocq-4.2.1

 └─step 15─┤ run       portage://sci-mathematics/flocq-4.2.1

 └─step 16─┤ install   portage://sci-mathematics/gappalib-coq-1.5.3
             │           └─ conf ─┤ USE = "-ocamlopt"

 └─step 17─┤ run     portage://sci-mathematics/gappalib-coq-1.5.3

Total: 40 actions (14 downloads, 14 installs, 12 runs), grouped into 17 steps.
       215.57 Mb to be downloaded.