2023-07-10 00:08:14,137 - Mock Version: 3.5
2023-07-10 00:08:28,538 - Start: dnf install
2023-07-10 00:16:42,094 - Finish: dnf install
2023-07-10 00:16:49,493 - Finish: chroot init
2023-07-10 00:16:51,405 - Finish: run
2023-07-10 00:17:55,999 - Mock Version: 3.5
2023-07-10 00:18:11,827 - Finish: chroot init
2023-07-10 00:18:11,993 - Start: chroot ['uname -r']
2023-07-10 00:18:12,644 - Finish: chroot ['uname -r']
2023-07-10 00:19:41,228 - Mock Version: 3.5
2023-07-10 00:20:10,605 - Finish: chroot init
2023-07-10 00:20:10,776 - Start: build phase for coq-8.17.0-1.fc38.src.rpm
2023-07-10 00:20:11,048 - Start: build setup for coq-8.17.0-1.fc38.src.rpm
2023-07-10 00:31:55,719 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm
2023-07-10 00:31:55,773 - Start: Outputting list of installed packages
2023-07-10 00:31:59,358 - Finish: Outputting list of installed packages
2023-07-10 00:31:59,366 - Start: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-07-10 02:12:03,469 - Finish: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-07-10 02:12:03,484 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm