portage-ng --fetchonly
>>> Emerging : portage://dev-lang/spark-2024.01.11-r2:run?{[]}
These are the packages that would be merged, in order:
Calculating dependencies... done!
└─step 1─┤ useflag portage://dev-ada/gnatcoll-bindings-25.0.0-r1 (ada_target_gcc_14 python_single_target_python3_13 -ada_target_gcc_15)
│ useflag portage://dev-ada/gnatcoll-core-25.0.0-r2 (ada_target_gcc_14 -ada_target_gcc_15)
│ useflag portage://dev-ada/gpr-24.2.0-r1 (ada_target_gcc_14 -ada_target_gcc_15)
│ useflag portage://dev-ada/gprbuild-25.0.0-r5 (ada_target_gcc_14 -ada_target_gcc_15)
│ useflag portage://dev-ada/gprconfig_kb-26.0.0 (ada_target_gcc_14 -ada_target_gcc_15)
│ useflag portage://dev-ada/libgpr-25.0.0-r3 (ada_target_gcc_14 -ada_target_gcc_15)
│ useflag portage://dev-ada/xmlada-26.0.0 (ada_target_gcc_14 -ada_target_gcc_15)
│ useflag portage://dev-lang/spark-2024.01.11-r2 (ada_target_gcc_14)
│ useflag portage://sys-devel/gcc-14.4.1_p20261008 (ada)
│ useflag portage://sys-devel/gcc-15.3.1_p20261009 (ada)
│ useflag portage://sys-devel/gcc-16.2.1_p20260926 (ada)
└─step 2─┤ download portage://dev-ada/gnatcoll-bindings-25.0.0-r1
│ └─ file ─┤ 292.42 Kb gnatcoll-bindings-25.0.0.tar.gz
│ download portage://dev-ada/gnatcoll-core-25.0.0-r2
│ └─ file ─┤ 7.15 Mb gnatcoll-core-25.0.0.tar.gz
│ download portage://dev-ada/gpr-24.2.0-r1
│ └─ file ─┤ 1.45 Mb gpr-24.2.0-next.tar.gz
│ download portage://dev-ada/gprbuild-25.0.0-r5
│ └─ file ─┤ 918.72 Kb gprbuild-25.0.0.tar.gz
│ │ 1.03 Mb xmlada-25.0.0.tar.gz
│ download portage://dev-ada/gprconfig_kb-26.0.0
│ └─ file ─┤ 48.52 Kb gprconfig_kb-26.0.0.tar.gz
│ download portage://dev-ada/libgpr-25.0.0-r3
│ └─ file ─┤ 918.72 Kb gprbuild-25.0.0.tar.gz
│ download portage://dev-ada/xmlada-26.0.0
│ └─ file ─┤ 1.03 Mb xmlada-26.0.0.tar.gz
│ download portage://dev-lang/ada-bootstrap-14
│ └─ file ─┤ 44.48 Mb ada-bootstrap-14-x86_64-pc-linux-gnu.gpkg.tar
│ download portage://dev-lang/ocaml-5.5.1
│ └─ file ─┤ 6.30 Mb ocaml-5.5.1.tar.gz
│ download portage://dev-lang/spark-2024.01.11-r2
│ └─ file ─┤ 88.03 Mb gcc-14.2.0.tar.xz
│ │ 11.53 Mb spark-2024.01.11.tar.gz
│ download portage://dev-ml/base-0.17.3
│ └─ file ─┤ 467.02 Kb base-0.17.3.tar.gz
│ download portage://dev-ml/camlzip-1.14
│ └─ file ─┤ 32.05 Kb camlzip-1.14.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-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/ocaml-compiler-libs-0.17.0
│ └─ file ─┤ 4.89 Kb ocaml-compiler-libs-0.17.0.tar.gz
│ download portage://dev-ml/ocaml_intrinsics_kernel-0.17.0
│ └─ file ─┤ 11.65 Kb ocaml_intrinsics_kernel-0.17.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/ocplib-simplex-0.4.1
│ └─ file ─┤ 31.21 Kb ocplib-simplex-0.4.1.tar.gz
│ download portage://dev-ml/parsexp-0.17.0
│ └─ file ─┤ 57.13 Kb parsexp-0.17.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-6.1.1
│ └─ file ─┤ 47.60 Kb ppx_deriving-6.1.1.tar.gz
│ download portage://dev-ml/ppx_sexp_conv-0.17.1
│ └─ file ─┤ 66.70 Kb ppx_sexp_conv-0.17.1.tar.gz
│ download portage://dev-ml/ppxlib-0.39.0
│ └─ file ─┤ 686.49 Kb ppxlib-0.39.0.gh.tar.gz
│ download portage://dev-ml/ppxlib_jane-0.17.4-r1
│ └─ file ─┤ 41.65 Kb ppxlib_jane-0.17.4.tar.gz
│ download portage://dev-ml/re-1.14.0
│ └─ file ─┤ 108.34 Kb ocaml-re-1.14.0.gh.tar.gz
│ download portage://dev-ml/result-1.5
│ └─ file ─┤ 2.24 Kb result-1.5.tar.gz
│ download portage://dev-ml/sexplib-0.17.0-r1
│ └─ file ─┤ 54.19 Kb sexplib-0.17.0.tar.gz
│ download portage://dev-ml/sexplib0-0.17.0-r2
│ └─ file ─┤ 22.51 Kb sexplib0-0.17.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/alt-ergo-2.4.3-r3
│ └─ file ─┤ 2.77 Mb alt-ergo-2.4.3.tar.gz
│ download portage://sci-mathematics/psmt2-frontend-0.4.0
│ └─ file ─┤ 69.14 Kb psmt2-frontend-0.4.0.tar.gz
│ download portage://sci-mathematics/why3-for-spark-2023.12.13-r2
│ └─ file ─┤ 6.79 Mb why3-for-spark-2023.12.13.tar.gz
│ download portage://sys-devel/gcc-14.4.1_p20261008
│ └─ file ─┤ 84.45 Mb gcc-14-20261008.tar.xz
│ │ 6.73 Kb gcc-14.3.0-musl-patches-2.tar.xz
│ │ 27.49 Kb gcc-14.3.0-patches-6.tar.xz
│ download portage://sys-devel/gcc-15.3.1_p20261009
│ └─ file ─┤ 88.24 Mb gcc-15-20261009.tar.xz
│ │ 7.00 Kb gcc-15.2.0-musl-patches-1.tar.xz
│ │ 17.17 Kb gcc-15.2.0-patches-8.tar.xz
│ download portage://sys-devel/gcc-16.2.1_p20260926
│ └─ file ─┤ 94.54 Mb gcc-16-20260926.tar.xz
│ │ 2.96 Kb gcc-16.2.0-musl-patches-1.tar.xz
│ │ 22.45 Kb gcc-16.2.0-patches-1.tar.xz
Total: 56 actions (11 useflags, 45 downloads), grouped into 2 steps.
453.91 Mb to be downloaded.
>>> Assumptions taken during proving & planning:
USE flag change (11 packages):
Add to /etc/portage/package.use:
dev-ada/gnatcoll-bindings ada_target_gcc_14 python_single_target_python3_13 -ada_target_gcc_15
dev-ada/gnatcoll-core ada_target_gcc_14 -ada_target_gcc_15
dev-ada/gpr ada_target_gcc_14 -ada_target_gcc_15
dev-ada/gprbuild ada_target_gcc_14 -ada_target_gcc_15
dev-ada/gprconfig_kb ada_target_gcc_14 -ada_target_gcc_15
dev-ada/libgpr ada_target_gcc_14 -ada_target_gcc_15
dev-ada/xmlada ada_target_gcc_14 -ada_target_gcc_15
dev-lang/spark ada_target_gcc_14
sys-devel/gcc ada
sys-devel/gcc ada
sys-devel/gcc ada