2023-12-09 15:43:20,052 - Mock Version: 5.0 2023-12-09 15:43:20,470 - Start: chroot init 2023-12-09 15:43:48,100 - Start: installing minimal buildroot with dnf 2023-12-09 15:57:14,857 - Finish: installing minimal buildroot with dnf 2023-12-09 15:57:26,337 - Finish: chroot init 2023-12-09 15:57:28,717 - Finish: run 2023-12-09 15:58:04,217 - Mock Version: 5.0 2023-12-09 15:58:04,647 - Start: chroot init 2023-12-09 15:58:42,565 - Finish: chroot init 2023-12-09 15:58:42,726 - Start: chroot ['uname -r'] 2023-12-09 15:58:43,757 - Finish: chroot ['uname -r'] 2023-12-09 15:59:33,642 - Mock Version: 5.0 2023-12-09 15:59:34,378 - Start: chroot init 2023-12-09 16:00:33,737 - Finish: chroot init 2023-12-09 16:00:33,956 - Start: build phase for cvc5-1.0.8-1.fc39.src.rpm 2023-12-09 16:00:34,405 - Start: build setup for cvc5-1.0.8-1.fc39.src.rpm 2023-12-09 16:14:07,036 - Finish: build setup for cvc5-1.0.8-1.fc39.src.rpm 2023-12-09 16:14:07,113 - Start: Outputting list of installed packages 2023-12-09 16:14:11,289 - Finish: Outputting list of installed packages 2023-12-09 16:14:11,297 - Start: rpmbuild cvc5-1.0.8-1.fc39.src.rpm 2023-12-09 20:03:55,478 - Finish: rpmbuild cvc5-1.0.8-1.fc39.src.rpm 2023-12-09 20:03:55,488 - Finish: build phase for cvc5-1.0.8-1.fc39.src.rpm