2023-11-22 07:37:23,127 - Mock Version: 5.0
2023-11-22 07:37:23,549 - Start: chroot init
2023-11-22 07:37:50,213 - Start: installing minimal buildroot with dnf
2023-11-22 07:49:05,728 - Finish: installing minimal buildroot with dnf
2023-11-22 07:49:17,042 - Finish: chroot init
2023-11-22 07:49:19,700 - Finish: run
2023-11-22 07:49:57,209 - Mock Version: 5.0
2023-11-22 07:49:57,972 - Start: chroot init
2023-11-22 07:50:39,494 - Finish: chroot init
2023-11-22 07:50:39,703 - Start: chroot ['uname -r']
2023-11-22 07:50:40,641 - Finish: chroot ['uname -r']
2023-11-22 07:51:27,670 - Mock Version: 5.0
2023-11-22 07:51:28,244 - Start: chroot init
2023-11-22 07:52:19,443 - Finish: chroot init
2023-11-22 07:52:19,606 - Start: build phase for cvc5-1.0.8-1.fc39.src.rpm
2023-11-22 07:52:20,111 - Start: build setup for cvc5-1.0.8-1.fc39.src.rpm
2023-11-22 08:04:58,076 - Finish: build setup for cvc5-1.0.8-1.fc39.src.rpm
2023-11-22 08:04:58,179 - Start: Outputting list of installed packages
2023-11-22 08:05:02,929 - Finish: Outputting list of installed packages
2023-11-22 08:05:02,938 - Start: rpmbuild cvc5-1.0.8-1.fc39.src.rpm
2023-11-22 11:03:09,519 - Finish: rpmbuild cvc5-1.0.8-1.fc39.src.rpm
2023-11-22 11:03:09,528 - Finish: build phase for cvc5-1.0.8-1.fc39.src.rpm