2023-07-08 12:12:05,390 - Mock Version: 3.5
2023-07-08 12:12:20,819 - Start: dnf install
2023-07-08 12:21:23,387 - Finish: dnf install
2023-07-08 12:21:32,038 - Finish: chroot init
2023-07-08 12:21:34,199 - Finish: run
2023-07-08 12:22:47,143 - Mock Version: 3.5
2023-07-08 12:23:04,375 - Finish: chroot init
2023-07-08 12:23:04,550 - Start: chroot ['uname -r']
2023-07-08 12:23:05,284 - Finish: chroot ['uname -r']
2023-07-08 12:24:35,264 - Mock Version: 3.5
2023-07-08 12:25:04,973 - Finish: chroot init
2023-07-08 12:25:05,133 - Start: build phase for coq-8.17.0-1.fc38.src.rpm
2023-07-08 12:25:05,393 - Start: build setup for coq-8.17.0-1.fc38.src.rpm
2023-07-08 12:37:19,152 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm
2023-07-08 12:37:19,206 - Start: Outputting list of installed packages
2023-07-08 12:37:22,543 - Finish: Outputting list of installed packages
2023-07-08 12:37:22,551 - Start: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-07-08 14:17:10,227 - Finish: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-07-08 14:17:10,238 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm