2025-04-28 15:14:18,986 - Mock Version: 6.1
2025-04-28 15:14:19,002 - Start(bootstrap): chroot init
2025-04-28 15:14:19,468 - Start(bootstrap): installing dnf5 tooling
2025-04-28 15:14:31,783 - Finish(bootstrap): installing dnf5 tooling
2025-04-28 15:14:31,806 - Finish(bootstrap): chroot init
2025-04-28 15:14:31,814 - Start: chroot init
2025-04-28 15:14:32,301 - Start: installing minimal buildroot with dnf5
2025-04-28 15:14:51,398 - Finish: installing minimal buildroot with dnf5
2025-04-28 15:14:51,643 - Finish: chroot init
2025-04-28 15:14:51,922 - Finish: run
2025-04-28 15:14:53,852 - Mock Version: 6.1
2025-04-28 15:14:53,866 - Start(bootstrap): chroot init
2025-04-28 15:14:54,356 - Finish(bootstrap): chroot init
2025-04-28 15:14:54,364 - Start: chroot init
2025-04-28 15:14:54,998 - Finish: chroot init
2025-04-28 15:14:55,003 - Start: chroot ['uname -r']
2025-04-28 15:14:55,145 - Finish: chroot ['uname -r']
2025-04-28 15:14:55,146 - Finish: run
2025-04-28 15:14:58,160 - Mock Version: 6.1
2025-04-28 15:14:58,179 - Start(bootstrap): chroot init
2025-04-28 15:14:58,820 - Finish(bootstrap): chroot init
2025-04-28 15:14:58,830 - Start: chroot init
2025-04-28 15:14:59,831 - Finish: chroot init
2025-04-28 15:14:59,836 - Start: build phase for coq-8.18.0-4.fc40.src.rpm
2025-04-28 15:14:59,840 - Start: build setup for coq-8.18.0-4.fc40.src.rpm
2025-04-28 15:15:24,586 - Finish: build setup for coq-8.18.0-4.fc40.src.rpm
2025-04-28 15:15:24,588 - Start: rpmbuild coq-8.18.0-4.fc40.src.rpm
2025-04-28 15:33:02,790 - Finish: rpmbuild coq-8.18.0-4.fc40.src.rpm
2025-04-28 15:33:03,053 - Finish: build phase for coq-8.18.0-4.fc40.src.rpm
2025-04-28 15:33:03,063 - Finish: run