2023-05-05 20:15:19,858 - Mock Version: 3.5
2023-05-05 20:15:24,388 - Start: dnf install
2023-05-05 20:22:39,029 - Finish: dnf install
2023-05-05 20:22:41,421 - Finish: chroot init
2023-05-05 20:22:42,166 - Finish: run
2023-05-05 20:23:03,858 - Mock Version: 3.5
2023-05-05 20:23:08,427 - Finish: chroot init
2023-05-05 20:23:08,484 - Start: chroot ['uname -r']
2023-05-05 20:23:08,657 - Finish: chroot ['uname -r']
2023-05-05 20:23:36,155 - Mock Version: 3.5
2023-05-05 20:23:45,297 - Finish: chroot init
2023-05-05 20:23:45,367 - Start: build phase for coq-8.17.0-1.fc38.src.rpm
2023-05-05 20:23:45,465 - Start: build setup for coq-8.17.0-1.fc38.src.rpm
2023-05-05 20:28:48,610 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm
2023-05-05 20:28:48,626 - Start: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-05-05 22:13:04,529 - Finish: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-05-05 22:13:04,541 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm