2023-05-13 02:00:11,278 - Mock Version: 3.5
2023-05-13 02:00:25,150 - Start: dnf install
2023-05-13 02:08:57,487 - Finish: dnf install
2023-05-13 02:09:05,436 - Finish: chroot init
2023-05-13 02:09:07,327 - Finish: run
2023-05-13 02:10:10,557 - Mock Version: 3.5
2023-05-13 02:10:27,238 - Finish: chroot init
2023-05-13 02:10:27,393 - Start: chroot ['uname -r']
2023-05-13 02:10:28,045 - Finish: chroot ['uname -r']
2023-05-13 02:11:47,563 - Mock Version: 3.5
2023-05-13 02:12:12,573 - Finish: chroot init
2023-05-13 02:12:12,735 - Start: build phase for coq-8.17.0-1.fc38.src.rpm
2023-05-13 02:12:12,989 - Start: build setup for coq-8.17.0-1.fc38.src.rpm
2023-05-13 02:12:39,914 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm
2023-05-13 02:12:39,919 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm