[ebuild  N     ] dev-libs/userspace-rcu-0.15.6:0/8::gentoo USE="-static-libs -test -verify-sig" 670.0 KiB
[ebuild  N     ] dev-util/lttng-ust-compat-2.12.10:0/2.12::gentoo USE="-numa -verify-sig" 782.7 KiB
[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     ] dev-lang/dafny-bin-4.11.0-r1::gentoo 62.3 MiB

Total: 4 packages (4 new), Size of downloads: 71.2 MiB


 * Running sanity checks...

 * resolver plan required 26 ops (0.02 seconds)