2023-11-16 10:41:02,596 - Mock Version: 5.0
2023-11-16 10:41:02,913 - Start: chroot init
2023-11-16 10:41:23,448 - Start: installing minimal buildroot with dnf
2023-11-16 10:50:04,672 - Finish: installing minimal buildroot with dnf
2023-11-16 10:50:12,750 - Finish: chroot init
2023-11-16 10:50:14,525 - Finish: run
2023-11-16 10:50:40,278 - Mock Version: 5.0
2023-11-16 10:50:40,617 - Start: chroot init
2023-11-16 10:51:06,947 - Finish: chroot init
2023-11-16 10:51:07,062 - Start: chroot ['uname -r']
2023-11-16 10:51:07,659 - Finish: chroot ['uname -r']
2023-11-16 10:51:43,534 - Mock Version: 5.0
2023-11-16 10:51:43,976 - Start: chroot init
2023-11-16 10:52:26,171 - Finish: chroot init
2023-11-16 10:52:26,298 - Start: build phase for cvc5-1.0.8-1.fc39.src.rpm
2023-11-16 10:52:26,582 - Start: build setup for cvc5-1.0.8-1.fc39.src.rpm
2023-11-16 11:01:48,211 - Finish: build setup for cvc5-1.0.8-1.fc39.src.rpm
2023-11-16 11:01:48,265 - Start: Outputting list of installed packages
2023-11-16 11:01:51,615 - Finish: Outputting list of installed packages
2023-11-16 11:01:51,621 - Start: rpmbuild cvc5-1.0.8-1.fc39.src.rpm
2023-11-16 13:06:05,814 - Finish: rpmbuild cvc5-1.0.8-1.fc39.src.rpm
2023-11-16 13:06:05,823 - Finish: build phase for cvc5-1.0.8-1.fc39.src.rpm