2023-06-28 20:04:19,549 - Mock Version: 3.5
2023-06-28 20:04:36,784 - Start: dnf install
2023-06-28 20:14:11,917 - Finish: dnf install
2023-06-28 20:14:22,702 - Finish: chroot init
2023-06-28 20:14:25,004 - Finish: run
2023-06-28 20:15:47,565 - Mock Version: 3.5
2023-06-28 20:16:07,289 - Finish: chroot init
2023-06-28 20:16:07,468 - Start: chroot ['uname -r']
2023-06-28 20:16:08,208 - Finish: chroot ['uname -r']
2023-06-28 20:17:47,423 - Mock Version: 3.5
2023-06-28 20:18:23,107 - Finish: chroot init
2023-06-28 20:18:23,291 - Start: build phase for coq-8.17.0-1.fc38.src.rpm
2023-06-28 20:18:23,598 - Start: build setup for coq-8.17.0-1.fc38.src.rpm
2023-06-28 20:31:13,759 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm
2023-06-28 20:31:13,853 - Start: Outputting list of installed packages
2023-06-28 20:31:17,756 - Finish: Outputting list of installed packages
2023-06-28 20:31:17,763 - Start: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-06-28 22:14:17,787 - Finish: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-06-28 22:14:17,798 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm