2023-05-04 06:59:32,596 - Mock Version: 3.5
2023-05-04 06:59:45,513 - Start: dnf install
2023-05-04 07:07:12,895 - Finish: dnf install
2023-05-04 07:07:19,862 - Finish: chroot init
2023-05-04 07:07:21,737 - Finish: run
2023-05-04 07:08:15,362 - Mock Version: 3.5
2023-05-04 07:08:28,575 - Finish: chroot init
2023-05-04 07:08:28,717 - Start: chroot ['uname -r']
2023-05-04 07:08:29,251 - Finish: chroot ['uname -r']
2023-05-04 07:09:40,716 - Mock Version: 3.5
2023-05-04 07:10:06,352 - Finish: chroot init
2023-05-04 07:10:06,542 - Start: build phase for coq-8.17.0-1.fc38.src.rpm
2023-05-04 07:10:06,827 - Start: build setup for coq-8.17.0-1.fc38.src.rpm
2023-05-04 07:10:31,914 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm
2023-05-04 07:10:31,924 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm