[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     ] sci-mathematics/psmt2-frontend-0.4.0:0/0.4.0::gentoo USE="ocamlopt -test" 69.1 KiB
[ebuild  N     ] dev-ml/findlib-1.9.8-r1:0/1::gentoo USE="ocamlopt -doc -tk" 268.2 KiB
[ebuild  N     ] dev-ml/ocplib-simplex-0.4.1::gentoo USE="ocamlopt" 31.2 KiB
[ebuild  N     ] dev-ml/result-1.5:0/1.5::gentoo USE="ocamlopt" 2.2 KiB
[ebuild  N     ] dev-ml/ocamlbuild-0.16.1:0/0.16.1::gentoo USE="ocamlopt" 197.7 KiB
[ebuild  N     ] dev-ml/topkg-1.1.1:0/1.1.1::gentoo USE="ocamlopt" 118.8 KiB
[ebuild  N     ] dev-ml/cmdliner-2.1.0:0/2.1.0::gentoo USE="ocamlopt" 95.9 KiB
[ebuild  N     ] dev-ml/camlzip-1.14:1/1.14::gentoo USE="ocamlopt" 32.1 KiB
[ebuild  N     ] dev-ml/num-1.6-r1::gentoo USE="ocamlopt" 66.2 KiB
[ebuild  N     ] dev-ml/stdlib-shims-0.3.0::gentoo USE="ocamlopt" 9.9 KiB
[ebuild  N     ] dev-ml/zarith-1.14:0/1.14::gentoo USE="ocamlopt -doc" 89.6 KiB
[ebuild  N     ] dev-ml/dune-build-info-3.21.1:0/3.21.1::gentoo USE="ocamlopt" 3.3 MiB
[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"
[ebuild  N     ] sci-mathematics/alt-ergo-2.4.3-r3:0/2.4.3::gentoo USE="ocamlopt -examples -gui" 2.8 MiB

Total: 18 packages (18 new), Size of downloads: 18.1 MiB


 * Running sanity checks...

 * resolver plan required 128 ops (0.06 seconds)