2025-07-11 12:56:43,482 - Mock Version: 6.3
2025-07-11 12:56:43,490 - Start(bootstrap): chroot init
2025-07-11 12:56:43,765 - Start(bootstrap): installing dnf5 tooling
2025-07-11 12:56:53,905 - Finish(bootstrap): installing dnf5 tooling
2025-07-11 12:56:53,916 - Finish(bootstrap): chroot init
2025-07-11 12:56:53,920 - Start: chroot init
2025-07-11 12:56:54,191 - Start: installing minimal buildroot with dnf5
2025-07-11 12:57:10,153 - Finish: installing minimal buildroot with dnf5
2025-07-11 12:57:10,277 - Finish: chroot init
2025-07-11 12:57:10,442 - Finish: run
2025-07-11 12:57:11,484 - Mock Version: 6.3
2025-07-11 12:57:11,492 - Start(bootstrap): chroot init
2025-07-11 12:57:11,773 - Finish(bootstrap): chroot init
2025-07-11 12:57:11,777 - Start: chroot init
2025-07-11 12:57:12,132 - Finish: chroot init
2025-07-11 12:57:12,134 - Start: chroot ['uname -r']
2025-07-11 12:57:12,220 - Finish: chroot ['uname -r']
2025-07-11 12:57:12,221 - Finish: run
2025-07-11 12:57:14,172 - Mock Version: 6.3
2025-07-11 12:57:14,182 - Start(bootstrap): chroot init
2025-07-11 12:57:14,555 - Finish(bootstrap): chroot init
2025-07-11 12:57:14,560 - Start: chroot init
2025-07-11 12:57:15,096 - Finish: chroot init
2025-07-11 12:57:15,098 - Start: build phase for cbmc-6.7.1-1.fc43.src.rpm
2025-07-11 12:57:15,100 - Start: build setup for cbmc-6.7.1-1.fc43.src.rpm
2025-07-11 12:57:34,079 - Finish: build setup for cbmc-6.7.1-1.fc43.src.rpm
2025-07-11 12:57:34,080 - Start: rpmbuild cbmc-6.7.1-1.fc43.src.rpm
2025-07-11 13:15:21,934 - Finish: rpmbuild cbmc-6.7.1-1.fc43.src.rpm
2025-07-11 13:15:22,453 - Finish: build phase for cbmc-6.7.1-1.fc43.src.rpm
2025-07-11 13:15:22,458 - Finish: run