[ebuild  N     ] sci-mathematics/cadical-3.0.0:0/3.0.0::gentoo 865.1 KiB
[ebuild  N     ] sci-mathematics/lean-4.24.0:0/4::gentoo USE="-debug -source" 44.3 MiB

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


 * Running sanity checks...

 * resolver plan required 11 ops (0.01 seconds)