2023-11-23 07:34:54,367 - Mock Version: 5.0
2023-11-23 07:34:54,607 - Start: chroot init
2023-11-23 07:35:08,768 - Start: installing minimal buildroot with dnf
2023-11-23 07:41:27,301 - Finish: installing minimal buildroot with dnf
2023-11-23 07:41:32,648 - Finish: chroot init
2023-11-23 07:41:33,920 - Finish: run
2023-11-23 07:41:50,365 - Mock Version: 5.0
2023-11-23 07:41:50,605 - Start: chroot init
2023-11-23 07:42:08,322 - Finish: chroot init
2023-11-23 07:42:08,409 - Start: chroot ['uname -r']
2023-11-23 07:42:08,831 - Finish: chroot ['uname -r']
2023-11-23 07:42:32,049 - Mock Version: 5.0
2023-11-23 07:42:32,374 - Start: chroot init
2023-11-23 07:42:57,290 - Finish: chroot init
2023-11-23 07:42:57,381 - Start: build phase for cvc5-1.0.8-1.fc39.src.rpm
2023-11-23 07:42:57,588 - Start: build setup for cvc5-1.0.8-1.fc39.src.rpm
2023-11-23 07:49:23,848 - Finish: build setup for cvc5-1.0.8-1.fc39.src.rpm
2023-11-23 07:49:23,888 - Start: Outputting list of installed packages
2023-11-23 07:49:26,360 - Finish: Outputting list of installed packages
2023-11-23 07:49:26,364 - Start: rpmbuild cvc5-1.0.8-1.fc39.src.rpm
2023-11-23 09:31:30,653 - Finish: rpmbuild cvc5-1.0.8-1.fc39.src.rpm
2023-11-23 09:31:30,658 - Finish: build phase for cvc5-1.0.8-1.fc39.src.rpm