2023-06-14 10:04:13,498 - Mock Version: 2.15
2023-06-14 10:04:15,261 - Start: dnf install
2023-06-14 10:10:46,088 - Finish: dnf install
2023-06-14 10:10:47,301 - Finish: chroot init
2023-06-14 10:10:47,859 - Finish: run
2023-06-14 10:11:00,868 - Mock Version: 2.15
2023-06-14 10:11:02,685 - Finish: chroot init
2023-06-14 10:11:02,709 - Start: chroot ['uname -r']
2023-06-14 10:11:02,800 - Finish: chroot ['uname -r']
2023-06-14 10:11:18,418 - Mock Version: 2.15
2023-06-14 10:11:22,532 - Finish: chroot init
2023-06-14 10:11:22,558 - Start: build phase for coq-8.17.0-1.fc38.src.rpm
2023-06-14 10:11:22,597 - Start: build setup for coq-8.17.0-1.fc38.src.rpm
2023-06-14 10:15:45,687 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm
2023-06-14 10:15:45,694 - Start: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-06-14 11:21:03,471 - Finish: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-06-14 11:21:03,472 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm