[ebuild  N     ] dev-build/b2-5.5.3::gentoo USE="-examples" 1.2 MiB
[ebuild  N     ] dev-libs/boost-1.91.0-r2:0/1.91.0::gentoo USE="bzip2 context nls python stacktrace zlib -debug -doc -icu -lzma -mpi -numpy -test -test-full -tools -zstd" PYTHON_TARGETS="python3_14 -python3_12 -python3_13" 195.1 MiB
[ebuild  N     ] sci-mathematics/minisat-2.2.1-r1:0/2.2.1::gentoo USE="-doc" 49.3 KiB
[ebuild  N     ] sci-mathematics/stp-2.3.4-r1:0/2.3.4::gentoo USE="python -cryptominisat -debug -test" PYTHON_SINGLE_TARGET="python3_14 -python3_12 -python3_13" 3.4 MiB

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


 * Running sanity checks...

 * resolver plan required 27 ops (0.02 seconds)