2023-07-09 07:23:46,371 - Mock Version: 3.5
2023-07-09 07:23:56,306 - Start: dnf install
2023-07-09 07:29:48,857 - Finish: dnf install
2023-07-09 07:29:53,766 - Finish: chroot init
2023-07-09 07:29:55,258 - Finish: run
2023-07-09 07:30:36,941 - Mock Version: 3.5
2023-07-09 07:30:46,962 - Finish: chroot init
2023-07-09 07:30:47,070 - Start: chroot ['uname -r']
2023-07-09 07:30:47,474 - Finish: chroot ['uname -r']
2023-07-09 07:31:40,988 - Mock Version: 3.5
2023-07-09 07:31:59,951 - Finish: chroot init
2023-07-09 07:32:00,062 - Start: build phase for coq-8.17.0-1.fc38.src.rpm
2023-07-09 07:32:00,237 - Start: build setup for coq-8.17.0-1.fc38.src.rpm
2023-07-09 07:40:09,927 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm
2023-07-09 07:40:09,961 - Start: Outputting list of installed packages
2023-07-09 07:40:12,469 - Finish: Outputting list of installed packages
2023-07-09 07:40:12,474 - Start: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-07-09 08:42:13,891 - Finish: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-07-09 08:42:13,898 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm