2023-12-10 14:53:02,142 - Mock Version: 5.0 2023-12-10 14:53:02,554 - Start: chroot init 2023-12-10 14:53:32,182 - Start: installing minimal buildroot with dnf 2023-12-10 15:06:29,983 - Finish: installing minimal buildroot with dnf 2023-12-10 15:06:41,141 - Finish: chroot init 2023-12-10 15:06:43,587 - Finish: run 2023-12-10 15:07:17,714 - Mock Version: 5.0 2023-12-10 15:07:18,134 - Start: chroot init 2023-12-10 15:07:54,328 - Finish: chroot init 2023-12-10 15:07:54,568 - Start: chroot ['uname -r'] 2023-12-10 15:07:55,471 - Finish: chroot ['uname -r'] 2023-12-10 15:08:42,116 - Mock Version: 5.0 2023-12-10 15:08:42,853 - Start: chroot init 2023-12-10 15:09:35,415 - Finish: chroot init 2023-12-10 15:09:35,591 - Start: build phase for cvc5-1.0.8-1.fc39.src.rpm 2023-12-10 15:09:35,926 - Start: build setup for cvc5-1.0.8-1.fc39.src.rpm 2023-12-10 15:23:37,212 - Finish: build setup for cvc5-1.0.8-1.fc39.src.rpm 2023-12-10 15:23:37,293 - Start: Outputting list of installed packages 2023-12-10 15:23:42,601 - Finish: Outputting list of installed packages 2023-12-10 15:23:42,612 - Start: rpmbuild cvc5-1.0.8-1.fc39.src.rpm 2023-12-10 19:05:36,731 - Finish: rpmbuild cvc5-1.0.8-1.fc39.src.rpm 2023-12-10 19:05:36,742 - Finish: build phase for cvc5-1.0.8-1.fc39.src.rpm