2025-04-28 15:14:20,411 - Mock Version: 6.1
2025-04-28 15:14:20,429 - Start(bootstrap): chroot init
2025-04-28 15:14:20,960 - Start(bootstrap): installing dnf5 tooling
2025-04-28 15:14:33,921 - Finish(bootstrap): installing dnf5 tooling
2025-04-28 15:14:33,948 - Finish(bootstrap): chroot init
2025-04-28 15:14:33,956 - Start: chroot init
2025-04-28 15:14:34,491 - Start: installing minimal buildroot with dnf5
2025-04-28 15:14:54,129 - Finish: installing minimal buildroot with dnf5
2025-04-28 15:14:54,365 - Finish: chroot init
2025-04-28 15:14:54,688 - Finish: run
2025-04-28 15:14:56,656 - Mock Version: 6.1
2025-04-28 15:14:56,672 - Start(bootstrap): chroot init
2025-04-28 15:14:57,203 - Finish(bootstrap): chroot init
2025-04-28 15:14:57,212 - Start: chroot init
2025-04-28 15:14:57,892 - Finish: chroot init
2025-04-28 15:14:57,896 - Start: chroot ['uname -r']
2025-04-28 15:14:58,039 - Finish: chroot ['uname -r']
2025-04-28 15:14:58,041 - Finish: run
2025-04-28 15:15:01,067 - Mock Version: 6.1
2025-04-28 15:15:01,088 - Start(bootstrap): chroot init
2025-04-28 15:15:01,828 - Finish(bootstrap): chroot init
2025-04-28 15:15:01,840 - Start: chroot init
2025-04-28 15:15:02,935 - Finish: chroot init
2025-04-28 15:15:02,940 - Start: build phase for coq-8.18.0-4.fc40.src.rpm
2025-04-28 15:15:02,943 - Start: build setup for coq-8.18.0-4.fc40.src.rpm
2025-04-28 15:15:36,158 - Finish: build setup for coq-8.18.0-4.fc40.src.rpm
2025-04-28 15:15:36,159 - Start: rpmbuild coq-8.18.0-4.fc40.src.rpm
2025-04-28 15:28:48,644 - Finish: rpmbuild coq-8.18.0-4.fc40.src.rpm
2025-04-28 15:28:48,912 - Finish: build phase for coq-8.18.0-4.fc40.src.rpm
2025-04-28 15:28:48,925 - Finish: run