[ebuild  N     ] sci-mathematics/z3-5.3.1:0/5.3::gentoo USE="gmp python -doc -examples -isabelle -java" PYTHON_SINGLE_TARGET="python3_14 -python3_12 -python3_13 (-python3_15)" 7.5 MiB
[ebuild  N     ] sci-mathematics/vampire-5.0.1:0/5.0.1::gentoo USE="z3 -test" 2.5 MiB

Total: 2 packages (2 new), Size of downloads: 10.0 MiB


 * Running sanity checks...

 * resolver plan required 14 ops (0.01 seconds)