portage-ng / portage / app-emacs / company-coq / 1.0.1_p20220314
emerge -vp

These are the packages that would be merged, in order:

Calculating dependencies ... done!
Dependency resolution took 1.16 s (backtrack: 0/20).

[ebuild  N     ] media-libs/alsa-topology-conf-1.2.5.1-r1::gentoo  USE="-verify-sig" 12 KiB
[ebuild  N     ] media-libs/alsa-ucm-conf-1.2.16.1::gentoo  USE="-verify-sig" 83 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)" 1104 KiB
[ebuild  N     ] net-libs/liblockfile-1.17::gentoo  USE="-static-libs" 69 KiB
[ebuild  N     ] app-eselect/eselect-ctags-1.20::gentoo  9 KiB
[ebuild  N     ] app-eselect/eselect-emacs-1.20::gentoo  0 KiB
[ebuild  N     ] app-emacs/emacs-common-1.14::gentoo  USE="-games -gsettings -gui" 66 KiB
[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" 56622 KiB
[ebuild  N     ] app-emacs/dash-2.20.0::gentoo  167 KiB
[ebuild  N     ] app-emacs/yasnippet-0.14.3_p20250604::gentoo  USE="-doc" 568 KiB
[ebuild  N     ] app-emacs/proofgeneral-4.5::gentoo  1171 KiB
[ebuild  N     ] app-emacs/posframe-1.5.3::gentoo  79 KiB
[ebuild  N     ] app-emacs/math-symbol-lists-1.3::gentoo  43 KiB
[ebuild  N     ] app-emacs/company-mode-1.1.0::gentoo  1856 KiB
[ebuild  N     ] app-emacs/company-math-1.5.1::gentoo  11 KiB
[ebuild  N     ] app-emacs/company-coq-1.0.1_p20220314::gentoo  3715 KiB

Total: 16 packages (16 new), Size of downloads: 65567 KiB

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