portage-ng --fetchonly
>>> Emerging : portage://sci-mathematics/easycrypt-2026.05: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-libs/libev-4.33
│ └─ file ─┤ 556.18 Kb libev-4.33.tar.gz
│ download portage://dev-libs/libpcre-8.45-r4
│ └─ file ─┤ 1.51 Mb pcre-8.45.tar.bz2
│ download portage://dev-ml/base-0.17.3
│ └─ file ─┤ 467.02 Kb base-0.17.3.tar.gz
│ download portage://dev-ml/batteries-3.11.0
│ └─ file ─┤ 777.74 Kb batteries-3.11.0.tar.gz
│ download portage://dev-ml/bigarray-compat-1.1.0
│ └─ file ─┤ 2.00 Kb bigarray-compat-1.1.0.tar.gz
│ download portage://dev-ml/camlp-streams-5.0.1
│ └─ file ─┤ 16.98 Kb camlp-streams-5.0.1.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/dune-site-3.21.1-r1
│ └─ 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/graphics-5.2.0-r1
│ └─ file ─┤ 64.83 Kb graphics-5.2.0.tar.gz
│ download portage://dev-ml/integers-0.8.0
│ └─ file ─┤ 14.25 Kb integers-0.8.0.tar.gz
│ download portage://dev-ml/jsonm-1.0.2
│ └─ file ─┤ 21.84 Kb jsonm-1.0.2.tbz
│ download portage://dev-ml/luv-0.5.14-r1
│ └─ file ─┤ 829.91 Kb luv-0.5.14.tar.gz
│ download portage://dev-ml/lwt-5.9.2
│ └─ file ─┤ 304.44 Kb lwt-5.9.2.tar.gz
│ download portage://dev-ml/markup-1.0.3
│ └─ file ─┤ 274.96 Kb markup-1.0.3.tar.gz
│ download portage://dev-ml/menhir-20250912
│ └─ file ─┤ 1.22 Mb menhir-20250912.tar.bz2
│ download portage://dev-ml/mmap-1.2.0-r1
│ └─ file ─┤ 14.97 Kb mmap-1.2.0.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.17.0
│ └─ file ─┤ 4.89 Kb ocaml-compiler-libs-0.17.0.tar.gz
│ download portage://dev-ml/ocaml-ctypes-0.24.0
│ └─ file ─┤ 195.37 Kb ocaml-ctypes-0.24.0.tar.gz
│ download portage://dev-ml/ocaml-inifiles-1.2
│ └─ file ─┤ 11.37 Kb ocaml-inifiles_1.2.orig.tar.gz
│ download portage://dev-ml/ocaml-markdown-0.2.1
│ └─ file ─┤ 8.98 Kb ocaml-markdown-0.2.1.gh.tar.gz
│ download portage://dev-ml/ocaml-sha-1.15.4
│ └─ file ─┤ 17.34 Kb sha-1.15.4.tbz
│ 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/ocamlgraph-2.2.0
│ └─ file ─┤ 310.48 Kb ocamlgraph-2.2.0.tbz
│ download portage://dev-ml/ocplib-endian-1.2
│ └─ file ─┤ 17.64 Kb ocplib-endian-1.2.tar.gz
│ download portage://dev-ml/opam-common-2.5.2
│ └─ file ─┤ 1.22 Mb opam-2.5.2.tar.gz
│ download portage://dev-ml/opam-file-format-2.2.0-r1
│ └─ file ─┤ 31.38 Kb opam-file-format-2.2.0.tar.gz
│ download portage://dev-ml/opam-installer-2.5.2
│ └─ file ─┤ 1.22 Mb opam-2.5.2.tar.gz
│ download portage://dev-ml/patch-3.1.2
│ └─ file ─┤ 29.47 Kb patch-3.1.2.tar.gz
│ download portage://dev-ml/pcre-ocaml-7.5.0
│ └─ file ─┤ 40.19 Kb pcre-ocaml-7.5.0.tbz
│ download portage://dev-ml/pcre2-ocaml-8.0.3-r1
│ └─ file ─┤ 43.36 Kb pcre2-ocaml-8.0.3.tar.gz
│ download portage://dev-ml/pp-2.0.0
│ └─ file ─┤ 11.31 Kb pp-2.0.0.tbz
│ 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_here-0.17.0-r1
│ └─ file ─┤ 5.02 Kb ppx_here-0.17.0.tar.gz
│ download portage://dev-ml/ppx_let-0.17.1
│ └─ file ─┤ 15.35 Kb ppx_let-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/re-1.14.0
│ └─ file ─┤ 108.34 Kb ocaml-re-1.14.0.gh.tar.gz
│ download portage://dev-ml/react-1.2.2-r1
│ └─ file ─┤ 39.08 Kb react-1.2.2.tbz
│ download portage://dev-ml/result-1.5
│ └─ file ─┤ 2.24 Kb result-1.5.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/stdio-0.17.0-r2
│ └─ file ─┤ 7.79 Kb stdio-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/swhid_core-0.1
│ └─ file ─┤ 45.04 Kb swhid_core-0.1.tar.gz
│ download portage://dev-ml/topkg-1.1.1
│ └─ file ─┤ 118.85 Kb topkg-1.1.1.tar.gz
│ download portage://dev-ml/tyxml-4.6.0_p20260130
│ └─ file ─┤ 126.98 Kb tyxml-4.6.0_p20260130.gh.tar.gz
│ download portage://dev-ml/uchar-0.0.2-r1
│ └─ file ─┤ 21.30 Kb uchar-0.0.2.tar.gz
│ download portage://dev-ml/uutf-1.0.4-r1
│ └─ file ─┤ 22.47 Kb uutf-1.0.4.tbz
│ 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/easycrypt-2026.05
│ └─ file ─┤ 1.47 Mb easycrypt-2026.05.gh.tar.gz
│ download portage://sci-mathematics/why3-1.8.2
│ └─ file ─┤ 7.02 Mb why3-1.8.2.tar.gz
Total: 60 actions (60 downloads), grouped into 1 step.
39.35 Mb to be downloaded.