1711681676: Started emerge on: Mar 29, 2024 03:07:56
1711681676:  *** 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
1711681687:  *** exiting successfully.
1711681687:  *** terminating.
1711681695: Started emerge on: Mar 29, 2024 03:08:15
1711681695:  *** emerge --nospinner --buildpkg --color=n --binpkg-respect-use=y --quiet --quiet-build=y --quiet-fail=y --regex-search-auto=y --usepkg --verbose @preserved-rebuild
1711681697:  *** Finished. Cleaning up...
1711681697:  *** exiting successfully.
1711681697:  *** terminating.
1711681699: Started emerge on: Mar 29, 2024 03:08:19
1711681699:  *** emerge --nospinner --buildpkg --color=n --binpkg-respect-use=y --quiet --quiet-build=y --quiet-fail=y --regex-search-auto=y --usepkg --verbose --depclean
1711681699:  >>> depclean
1711681704:  *** exiting successfully.
1711681704:  *** terminating.
1711681727: Started emerge on: Mar 29, 2024 03:08:46
1711681727:  *** emerge --nospinner --oneshot --buildpkg --buildpkg-exclude=virtual --buildpkg-exclude=acct-* --color=n --binpkg-respect-use=y --usepkg-exclude=dev-lang/dafny-bin --quiet-build=y --quiet-fail=y --regex-search-auto=y --usepkg --verbose =dev-lang/dafny-bin-4.6.0
1711681729:  >>> emerge (1 of 4) dev-libs/userspace-rcu-0.14.0 to /
1711681729:  === (1 of 4) Merging Binary (dev-libs/userspace-rcu-0.14.0::/var/cache/portage/packages/dev-libs/userspace-rcu/userspace-rcu-0.14.0-1.gpkg.tar)
1711681734:  >>> AUTOCLEAN: dev-libs/userspace-rcu:0
1711681736:  === (1 of 4) Post-Build Cleaning (dev-libs/userspace-rcu-0.14.0::/var/cache/portage/packages/dev-libs/userspace-rcu/userspace-rcu-0.14.0-1.gpkg.tar)
1711681736:  ::: completed emerge (1 of 4) dev-libs/userspace-rcu-0.14.0 to /
1711681736:  >>> emerge (2 of 4) sci-mathematics/z3-4.13.0 to /
1711681736:  === (2 of 4) Cleaning (sci-mathematics/z3-4.13.0::/var/db/repos/gentoo/sci-mathematics/z3/z3-4.13.0.ebuild)
1711681736:  === (2 of 4) Compiling/Packaging (sci-mathematics/z3-4.13.0::/var/db/repos/gentoo/sci-mathematics/z3/z3-4.13.0.ebuild)
1711682471:  === (2 of 4) Merging (sci-mathematics/z3-4.13.0::/var/db/repos/gentoo/sci-mathematics/z3/z3-4.13.0.ebuild)
1711682474:  >>> AUTOCLEAN: sci-mathematics/z3:0
1711682477:  === (2 of 4) Post-Build Cleaning (sci-mathematics/z3-4.13.0::/var/db/repos/gentoo/sci-mathematics/z3/z3-4.13.0.ebuild)
1711682477:  ::: completed emerge (2 of 4) sci-mathematics/z3-4.13.0 to /
1711682477:  >>> emerge (3 of 4) dev-util/lttng-ust-2.12.9 to /
1711682477:  === (3 of 4) Cleaning (dev-util/lttng-ust-2.12.9::/var/db/repos/gentoo/dev-util/lttng-ust/lttng-ust-2.12.9.ebuild)
1711682477:  === (3 of 4) Compiling/Packaging (dev-util/lttng-ust-2.12.9::/var/db/repos/gentoo/dev-util/lttng-ust/lttng-ust-2.12.9.ebuild)
1711682570:  === (3 of 4) Merging (dev-util/lttng-ust-2.12.9::/var/db/repos/gentoo/dev-util/lttng-ust/lttng-ust-2.12.9.ebuild)
1711682573:  >>> AUTOCLEAN: dev-util/lttng-ust:0
1711682576:  === (3 of 4) Post-Build Cleaning (dev-util/lttng-ust-2.12.9::/var/db/repos/gentoo/dev-util/lttng-ust/lttng-ust-2.12.9.ebuild)
1711682576:  ::: completed emerge (3 of 4) dev-util/lttng-ust-2.12.9 to /
1711682576:  >>> emerge (4 of 4) dev-lang/dafny-bin-4.6.0 to /
1711682576:  === (4 of 4) Cleaning (dev-lang/dafny-bin-4.6.0::/var/db/repos/gentoo/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild)
1711682577:  === (4 of 4) Compiling/Packaging (dev-lang/dafny-bin-4.6.0::/var/db/repos/gentoo/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild)
1711682607:  === (4 of 4) Merging (dev-lang/dafny-bin-4.6.0::/var/db/repos/gentoo/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild)
1711682610:  >>> AUTOCLEAN: dev-lang/dafny-bin:0
1711682613:  === (4 of 4) Post-Build Cleaning (dev-lang/dafny-bin-4.6.0::/var/db/repos/gentoo/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild)
1711682613:  ::: completed emerge (4 of 4) dev-lang/dafny-bin-4.6.0 to /
1711682613:  *** Finished. Cleaning up...
1711682613:  *** exiting successfully.
1711682613:  *** terminating.