portage-ng / portage / app-emacs / company-coq / 1.0.1_p20220314
pmerge --pretend --verbose
[ebuild  N     ] app-emacs/emacs-common-1.14::gentoo USE="-games -gsettings -gui" 65.1 KiB
[ebuild  N     ] media-libs/alsa-topology-conf-1.2.5.1-r1::gentoo USE="-verify-sig" 11.4 KiB
[ebuild  N     ] media-libs/alsa-ucm-conf-1.2.16.1::gentoo USE="-verify-sig" 82.3 KiB
[ebuild  N     ] media-libs/alsa-lib-1.2.16.1::gentoo USE="python -debug -doc -verify-sig" PYTHON_SINGLE_TARGET="python3_14 -python3_12 -python3_13 (-python3_15)" 1.1 MiB
[ebuild  N     ] net-libs/liblockfile-1.17::gentoo USE="-static-libs" 68.2 KiB
[ebuild  N     ] app-eselect/eselect-ctags-1.20::gentoo 9.0 KiB
[ebuild  N     ] app-eselect/eselect-emacs-1.20::gentoo
[ebuild  N     ] app-editors/emacs-31.1-r2:31::gentoo USE="X acl alsa cairo dbus gif gmp gpm harfbuzz inotify jpeg png sqlite ssl threads tiff xattr xpm zlib -Xaw3d (-aqua) -athena -dynamic-loading -games -gfile -gsettings -gtk -gui -gzip-el -imagemagick -jit -lcms -libxml2 -livecd -m17n-lib -mailutils -motif (-selinux) -sound -source -svg (-systemd) -toolkit-scroll-bars -tree-sitter -valgrind -webp -wide-int -xft -xwidgets" 55.3 MiB
[ebuild  N     ] app-emacs/posframe-1.5.3::gentoo 78.5 KiB
[ebuild  N     ] app-emacs/company-mode-1.1.0::gentoo 1.8 MiB
[ebuild  N     ] app-emacs/math-symbol-lists-1.3::gentoo 42.1 KiB
[ebuild  N     ] app-emacs/company-math-1.5.1::gentoo 10.2 KiB
[ebuild  N     ] app-emacs/dash-2.20.0::gentoo 166.5 KiB
[ebuild  N     ] app-emacs/yasnippet-0.14.3_p20250604::gentoo USE="-doc" 567.3 KiB
[ebuild  N     ] app-emacs/proofgeneral-4.5::gentoo 1.1 MiB
[ebuild  N     ] app-emacs/company-coq-1.0.1_p20220314::gentoo 3.6 MiB

Total: 16 packages (16 new), Size of downloads: 64.0 MiB


 * Running sanity checks...

 * resolver plan required 131 ops (0.05 seconds)

Wall time
0.487 s vs. 0.126 s for portage-ng