2023-11-16 00:29:48,229 - Mock Version: 5.0 2023-11-16 00:29:48,273 - Start: chroot init 2023-11-16 00:29:51,863 - Start: installing minimal buildroot with dnf 2023-11-16 00:32:55,234 - Finish: installing minimal buildroot with dnf 2023-11-16 00:32:56,088 - Finish: chroot init 2023-11-16 00:32:56,394 - Finish: run 2023-11-16 00:33:00,416 - Mock Version: 5.0 2023-11-16 00:33:00,455 - Start: chroot init 2023-11-16 00:33:03,317 - Finish: chroot init 2023-11-16 00:33:03,337 - Start: chroot ['uname -r'] 2023-11-16 00:33:03,409 - Finish: chroot ['uname -r'] 2023-11-16 00:33:09,416 - Mock Version: 5.0 2023-11-16 00:33:09,501 - Start: chroot init 2023-11-16 00:33:13,919 - Finish: chroot init 2023-11-16 00:33:13,935 - Start: build phase for cvc5-1.0.8-1.fc39.src.rpm 2023-11-16 00:33:13,970 - Start: build setup for cvc5-1.0.8-1.fc39.src.rpm 2023-11-16 00:34:59,743 - Finish: build setup for cvc5-1.0.8-1.fc39.src.rpm 2023-11-16 00:34:59,751 - Start: Outputting list of installed packages 2023-11-16 00:35:00,399 - Finish: Outputting list of installed packages 2023-11-16 00:35:00,400 - Start: rpmbuild cvc5-1.0.8-1.fc39.src.rpm 2023-11-16 00:43:22,019 - Finish: rpmbuild cvc5-1.0.8-1.fc39.src.rpm 2023-11-16 00:43:22,022 - Finish: build phase for cvc5-1.0.8-1.fc39.src.rpm