2023-06-12 04:13:15,590 - Mock Version: 3.5
2023-06-12 04:13:28,216 - Start: dnf install
2023-06-12 04:21:20,458 - Finish: dnf install
2023-06-12 04:21:28,502 - Finish: chroot init
2023-06-12 04:21:30,568 - Finish: run
2023-06-12 04:22:32,566 - Mock Version: 3.5
2023-06-12 04:22:47,840 - Finish: chroot init
2023-06-12 04:22:47,990 - Start: chroot ['uname -r']
2023-06-12 04:22:48,610 - Finish: chroot ['uname -r']
2023-06-12 04:24:07,092 - Mock Version: 3.5
2023-06-12 04:24:33,425 - Finish: chroot init
2023-06-12 04:24:33,577 - Start: build phase for coq-8.17.0-1.fc38.src.rpm
2023-06-12 04:24:33,819 - Start: build setup for coq-8.17.0-1.fc38.src.rpm
2023-06-12 04:25:00,916 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm
2023-06-12 04:25:00,923 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm