2023-06-20 07:46:56,782 - Mock Version: 3.5
2023-06-20 07:47:15,763 - Start: dnf install
2023-06-20 07:57:23,065 - Finish: dnf install
2023-06-20 07:57:32,440 - Finish: chroot init
2023-06-20 07:57:34,816 - Finish: run
2023-06-20 07:58:52,633 - Mock Version: 3.5
2023-06-20 07:59:13,977 - Finish: chroot init
2023-06-20 07:59:14,175 - Start: chroot ['uname -r']
2023-06-20 07:59:14,897 - Finish: chroot ['uname -r']
2023-06-20 08:00:54,434 - Mock Version: 3.5
2023-06-20 08:01:27,767 - Finish: chroot init
2023-06-20 08:01:28,019 - Start: build phase for coq-8.17.0-1.fc38.src.rpm
2023-06-20 08:01:28,355 - Start: build setup for coq-8.17.0-1.fc38.src.rpm
2023-06-20 08:14:20,443 - Finish: build setup for coq-8.17.0-1.fc38.src.rpm
2023-06-20 08:14:20,502 - Start: Outputting list of installed packages
2023-06-20 08:14:24,567 - Finish: Outputting list of installed packages
2023-06-20 08:14:24,575 - Start: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-06-20 10:32:13,980 - Finish: rpmbuild coq-8.17.0-1.fc38.src.rpm
2023-06-20 10:32:13,994 - Finish: build phase for coq-8.17.0-1.fc38.src.rpm