portage-ng / portage / sci-mathematics / kind2 / 1.9.0
pmerge --pretend --verbose
[ebuild  N     ] dev-lang/ocaml-5.5.1:0/5.5.1::gentoo USE="ocamlopt -emacs -flambda -latex -test -xemacs" 6.3 MiB
[ebuild  N     ] dev-ml/dune-3.23.1:0/3.23.1::gentoo USE="-emacs -test" 3.5 MiB
[ebuild  N     ] dev-ml/menhir-20250912:0/20250912::gentoo USE="ocamlopt" 1.2 MiB
[ebuild  N     ] dev-ml/findlib-1.9.8-r1:0/1::gentoo USE="ocamlopt -doc -tk" 268.2 KiB
[ebuild  N     ] dev-ml/num-1.6-r1::gentoo USE="ocamlopt" 66.2 KiB
[ebuild  N     ] dev-ml/yojson-3.0.0:0/3.0.0::gentoo USE="ocamlopt -examples -test" 55.4 KiB
[ebuild  N     ] net-libs/zeromq-4.3.5-r1:0/5::gentoo USE="libbsd sodium -doc -drafts -static-libs -test -unwind" 2.4 MiB
[ebuild  N     ] dev-ml/result-1.5:0/1.5::gentoo USE="ocamlopt" 2.2 KiB
[ebuild  N     ] dev-ml/csexp-1.5.2-r1:0/1.5.2::gentoo USE="ocamlopt -test" 11.2 KiB
[ebuild  N     ] dev-ml/dune-configurator-3.21.1:0/3.21.1::gentoo USE="ocamlopt" 3.3 MiB
[ebuild  N     ] dev-ml/zmq-5.3.0:0/5.3.0::gentoo USE="ocamlopt -test" 34.3 KiB
[ebuild  N     ] dev-ml/dune-build-info-3.21.1:0/3.21.1::gentoo USE="ocamlopt"
[ebuild  N     ] sci-mathematics/kind2-1.9.0:0/1.9.0::gentoo USE="ocamlopt -test" 1.9 MiB

Total: 13 packages (13 new), Size of downloads: 19.1 MiB


 * Running sanity checks...

 * resolver plan required 92 ops (0.04 seconds)

Wall time
0.472 s vs. 0.117 s for portage-ng