1725840416: Started emerge on: Sep 09, 2024 00:06:56
1725840416:  *** emerge --newuse --nospinner --update --buildpkg --buildpkg-exclude=virtual --buildpkg-exclude=acct-* --color=n --deep --binpkg-respect-use=y --quiet-build=y --quiet-fail=y --regex-search-auto=y --usepkg --verbose @world
1725840426:  *** exiting successfully.
1725840426:  *** terminating.
1725840433: Started emerge on: Sep 09, 2024 00:07:13
1725840433:  *** emerge --nospinner --buildpkg --color=n --binpkg-respect-use=y --quiet --quiet-build=y --quiet-fail=y --regex-search-auto=y --usepkg --verbose @preserved-rebuild
1725840435:  *** Finished. Cleaning up...
1725840435:  *** exiting successfully.
1725840435:  *** terminating.
1725840437: Started emerge on: Sep 09, 2024 00:07:16
1725840437:  *** emerge --nospinner --buildpkg --color=n --binpkg-respect-use=y --quiet --quiet-build=y --quiet-fail=y --regex-search-auto=y --usepkg --verbose --depclean
1725840437:  >>> depclean
1725840441:  *** exiting successfully.
1725840441:  *** terminating.
1725840465: Started emerge on: Sep 09, 2024 00:07:45
1725840465:  *** emerge --nospinner --oneshot --buildpkg --buildpkg-exclude=virtual --buildpkg-exclude=acct-* --color=n --binpkg-respect-use=y --usepkg-exclude=sci-mathematics/coq --quiet-build=y --quiet-fail=y --regex-search-auto=y --usepkg --verbose =sci-mathematics/coq-8.20.0
1725840469:  >>> emerge (1 of 7) sys-libs/binutils-libs-2.43-r2 to /
1725840469:  === (1 of 7) Merging Binary (sys-libs/binutils-libs-2.43-r2::/var/cache/portage/packages/sys-libs/binutils-libs/binutils-libs-2.43-r2-1.gpkg.tar)
1725840474:  >>> AUTOCLEAN: sys-libs/binutils-libs:0
1725840476:  === (1 of 7) Post-Build Cleaning (sys-libs/binutils-libs-2.43-r2::/var/cache/portage/packages/sys-libs/binutils-libs/binutils-libs-2.43-r2-1.gpkg.tar)
1725840476:  ::: completed emerge (1 of 7) sys-libs/binutils-libs-2.43-r2 to /
1725840476:  >>> emerge (2 of 7) dev-lang/ocaml-4.14.2 to /
1725840476:  === (2 of 7) Cleaning (dev-lang/ocaml-4.14.2::/var/db/repos/gentoo/dev-lang/ocaml/ocaml-4.14.2.ebuild)
1725840477:  === (2 of 7) Compiling/Packaging (dev-lang/ocaml-4.14.2::/var/db/repos/gentoo/dev-lang/ocaml/ocaml-4.14.2.ebuild)
1725840813:  === (2 of 7) Merging (dev-lang/ocaml-4.14.2::/var/db/repos/gentoo/dev-lang/ocaml/ocaml-4.14.2.ebuild)
1725840817:  >>> AUTOCLEAN: dev-lang/ocaml:0
1725840820:  === (2 of 7) Post-Build Cleaning (dev-lang/ocaml-4.14.2::/var/db/repos/gentoo/dev-lang/ocaml/ocaml-4.14.2.ebuild)
1725840820:  ::: completed emerge (2 of 7) dev-lang/ocaml-4.14.2 to /
1725840820:  >>> emerge (3 of 7) dev-ml/findlib-1.9.6-r1 to /
1725840820:  === (3 of 7) Cleaning (dev-ml/findlib-1.9.6-r1::/var/db/repos/gentoo/dev-ml/findlib/findlib-1.9.6-r1.ebuild)
1725840820:  === (3 of 7) Compiling/Packaging (dev-ml/findlib-1.9.6-r1::/var/db/repos/gentoo/dev-ml/findlib/findlib-1.9.6-r1.ebuild)
1725840838:  === (3 of 7) Merging (dev-ml/findlib-1.9.6-r1::/var/db/repos/gentoo/dev-ml/findlib/findlib-1.9.6-r1.ebuild)
1725840841:  >>> AUTOCLEAN: dev-ml/findlib:0
1725840844:  === (3 of 7) Post-Build Cleaning (dev-ml/findlib-1.9.6-r1::/var/db/repos/gentoo/dev-ml/findlib/findlib-1.9.6-r1.ebuild)
1725840844:  ::: completed emerge (3 of 7) dev-ml/findlib-1.9.6-r1 to /
1725840844:  >>> emerge (4 of 7) dev-ml/dune-3.16.0 to /
1725840844:  === (4 of 7) Cleaning (dev-ml/dune-3.16.0::/var/db/repos/gentoo/dev-ml/dune/dune-3.16.0.ebuild)
1725840844:  === (4 of 7) Compiling/Packaging (dev-ml/dune-3.16.0::/var/db/repos/gentoo/dev-ml/dune/dune-3.16.0.ebuild)
1725840918:  === (4 of 7) Merging (dev-ml/dune-3.16.0::/var/db/repos/gentoo/dev-ml/dune/dune-3.16.0.ebuild)
1725840921:  >>> AUTOCLEAN: dev-ml/dune:0
1725840923:  === (4 of 7) Post-Build Cleaning (dev-ml/dune-3.16.0::/var/db/repos/gentoo/dev-ml/dune/dune-3.16.0.ebuild)
1725840923:  ::: completed emerge (4 of 7) dev-ml/dune-3.16.0 to /
1725840923:  >>> emerge (5 of 7) dev-ml/num-1.5 to /
1725840923:  === (5 of 7) Cleaning (dev-ml/num-1.5::/var/db/repos/gentoo/dev-ml/num/num-1.5.ebuild)
1725840923:  === (5 of 7) Compiling/Packaging (dev-ml/num-1.5::/var/db/repos/gentoo/dev-ml/num/num-1.5.ebuild)
1725840934:  === (5 of 7) Merging (dev-ml/num-1.5::/var/db/repos/gentoo/dev-ml/num/num-1.5.ebuild)
1725840937:  >>> AUTOCLEAN: dev-ml/num:0
1725840940:  === (5 of 7) Post-Build Cleaning (dev-ml/num-1.5::/var/db/repos/gentoo/dev-ml/num/num-1.5.ebuild)
1725840940:  ::: completed emerge (5 of 7) dev-ml/num-1.5 to /
1725840940:  >>> emerge (6 of 7) dev-ml/zarith-1.14 to /
1725840940:  === (6 of 7) Cleaning (dev-ml/zarith-1.14::/var/db/repos/gentoo/dev-ml/zarith/zarith-1.14.ebuild)
1725840940:  === (6 of 7) Compiling/Packaging (dev-ml/zarith-1.14::/var/db/repos/gentoo/dev-ml/zarith/zarith-1.14.ebuild)
1725840955:  === (6 of 7) Merging (dev-ml/zarith-1.14::/var/db/repos/gentoo/dev-ml/zarith/zarith-1.14.ebuild)
1725840958:  >>> AUTOCLEAN: dev-ml/zarith:0
1725840960:  === (6 of 7) Post-Build Cleaning (dev-ml/zarith-1.14::/var/db/repos/gentoo/dev-ml/zarith/zarith-1.14.ebuild)
1725840960:  ::: completed emerge (6 of 7) dev-ml/zarith-1.14 to /
1725840960:  >>> emerge (7 of 7) sci-mathematics/coq-8.20.0 to /
1725840960:  === (7 of 7) Cleaning (sci-mathematics/coq-8.20.0::/var/db/repos/gentoo/sci-mathematics/coq/coq-8.20.0.ebuild)
1725840962:  *** Finished. Cleaning up...
1725840962:  *** exiting unsuccessfully with status '1'.
1725840964:  *** terminating.