[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/zarith-1.14:0/1.14::gentoo USE="ocamlopt -doc" 89.6 KiB
[ebuild  N     ] sci-mathematics/why3-1.8.0:0/1.8.0::gentoo USE="ocamlopt -coq -doc -emacs -gtk -re -sexp -stackify -zip" 7.0 MiB

Total: 7 packages (7 new), Size of downloads: 18.5 MiB


 * Running sanity checks...

 * resolver plan required 39 ops (0.02 seconds)