[ebuild  N     ] sci-mathematics/metamath-0.198::gentoo 457.6 KiB
[ebuild  N     ] sci-mathematics/metamath-databases-20220303::gentoo USE="-doc" 19.6 MiB

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


 * Running sanity checks...

 * resolver plan required 8 ops (0.01 seconds)