2023-05-27 08:21:32,469 - Mock Version: 3.5
2023-05-27 08:21:46,476 - Start: dnf install
2023-05-27 08:29:58,333 - Finish: dnf install
2023-05-27 08:30:06,082 - Finish: chroot init
2023-05-27 08:30:08,103 - Finish: run
2023-05-27 08:31:08,215 - Mock Version: 3.5
2023-05-27 08:31:22,306 - Finish: chroot init
2023-05-27 08:31:22,445 - Start: chroot ['uname -r']
2023-05-27 08:31:22,994 - Finish: chroot ['uname -r']
2023-05-27 08:32:39,805 - Mock Version: 3.5
2023-05-27 08:33:06,905 - Finish: chroot init
2023-05-27 08:33:07,081 - Start: build phase for coq-8.17.0-1.fc38.src.rpm
2023-05-27 08:33:07,333 - Start: build setup for coq-8.17.0-1.fc38.src.rpm
2023-05-27 08:33:34,199 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm
2023-05-27 08:33:34,205 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm