2023-05-16 10:39:04,419 - Mock Version: 3.5
2023-05-16 10:39:14,248 - Start: dnf install
2023-05-16 10:45:38,097 - Finish: dnf install
2023-05-16 10:45:43,634 - Finish: chroot init
2023-05-16 10:45:45,336 - Finish: run
2023-05-16 10:46:31,755 - Mock Version: 3.5
2023-05-16 10:46:42,552 - Finish: chroot init
2023-05-16 10:46:42,664 - Start: chroot ['uname -r']
2023-05-16 10:46:43,107 - Finish: chroot ['uname -r']
2023-05-16 10:47:42,005 - Mock Version: 3.5
2023-05-16 10:48:02,095 - Finish: chroot init
2023-05-16 10:48:02,217 - Start: build phase for coq-8.17.0-1.fc38.src.rpm
2023-05-16 10:48:02,417 - Start: build setup for coq-8.17.0-1.fc38.src.rpm
2023-05-16 10:48:22,888 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm
2023-05-16 10:48:22,893 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm