2024-01-16 06:39:04,423 - Mock Version: 5.0
2024-01-16 06:39:05,348 - Start: chroot init
2024-01-16 06:40:07,148 - Start: installing minimal buildroot with dnf
2024-01-16 07:04:50,789 - Finish: installing minimal buildroot with dnf
2024-01-16 07:05:16,609 - Finish: chroot init
2024-01-16 07:05:23,512 - Finish: run
2024-01-16 07:06:28,833 - Mock Version: 5.0
2024-01-16 07:06:29,994 - Start: chroot init
2024-01-16 07:07:48,756 - Finish: chroot init
2024-01-16 07:07:49,158 - Start: chroot ['uname -r']
2024-01-16 07:07:51,190 - Finish: chroot ['uname -r']
2024-01-16 07:09:38,241 - Mock Version: 5.0
2024-01-16 07:09:39,542 - Start: chroot init
2024-01-16 07:11:32,141 - Finish: chroot init
2024-01-16 07:11:32,719 - Start: build phase for coq-8.18.0-1.fc40.src.rpm
2024-01-16 07:11:33,317 - Start: build setup for coq-8.18.0-1.fc40.src.rpm
2024-01-16 07:12:54,762 - Finish: build setup for coq-8.18.0-1.fc40.src.rpm
2024-01-16 07:12:54,773 - Finish: build phase for coq-8.18.0-1.fc40.src.rpm