[ebuild N ] sci-mathematics/prover9-2009.11a-r2::gentoo USE="-examples" 1.7 MiB Total: 1 package (1 new), Size of downloads: 1.7 MiB * Running sanity checks... * resolver plan required 2 ops (0.00 seconds)
- Wall time
- 0.429 s vs. 0.003 s for portage-ng