2023-05-05 02:18:14,522 - Mock Version: 2.15
2023-05-05 02:18:16,390 - Start: dnf install
2023-05-05 02:24:42,793 - Finish: dnf install
2023-05-05 02:24:43,997 - Finish: chroot init
2023-05-05 02:24:44,553 - Finish: run
2023-05-05 02:24:57,748 - Mock Version: 2.15
2023-05-05 02:24:59,554 - Finish: chroot init
2023-05-05 02:24:59,577 - Start: chroot ['uname -r']
2023-05-05 02:24:59,669 - Finish: chroot ['uname -r']
2023-05-05 02:25:14,814 - Mock Version: 2.15
2023-05-05 02:25:18,803 - Finish: chroot init
2023-05-05 02:25:18,828 - Start: build phase for coq-8.17.0-1.fc38.src.rpm
2023-05-05 02:25:18,868 - Start: build setup for coq-8.17.0-1.fc38.src.rpm
2023-05-05 02:29:49,699 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm
2023-05-05 02:29:49,706 - Start: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-05-05 03:37:13,566 - Finish: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-05-05 03:37:13,566 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm