2023-12-08 16:29:12,109 - Mock Version: 5.0 2023-12-08 16:29:12,497 - Start: chroot init 2023-12-08 16:29:38,751 - Start: installing minimal buildroot with dnf 2023-12-08 16:41:49,979 - Finish: installing minimal buildroot with dnf 2023-12-08 16:42:02,015 - Finish: chroot init 2023-12-08 16:42:05,023 - Finish: run 2023-12-08 16:42:44,705 - Mock Version: 5.0 2023-12-08 16:42:45,118 - Start: chroot init 2023-12-08 16:43:18,755 - Finish: chroot init 2023-12-08 16:43:18,902 - Start: chroot ['uname -r'] 2023-12-08 16:43:19,693 - Finish: chroot ['uname -r'] 2023-12-08 16:43:59,252 - Mock Version: 5.0 2023-12-08 16:43:59,767 - Start: chroot init 2023-12-08 16:44:45,357 - Finish: chroot init 2023-12-08 16:44:45,570 - Start: build phase for cvc5-1.0.8-1.fc39.src.rpm 2023-12-08 16:44:46,168 - Start: build setup for cvc5-1.0.8-1.fc39.src.rpm 2023-12-08 16:55:28,463 - Finish: build setup for cvc5-1.0.8-1.fc39.src.rpm 2023-12-08 16:55:28,525 - Start: Outputting list of installed packages 2023-12-08 16:55:34,090 - Finish: Outputting list of installed packages 2023-12-08 16:55:34,099 - Start: rpmbuild cvc5-1.0.8-1.fc39.src.rpm 2023-12-08 20:54:24,215 - Finish: rpmbuild cvc5-1.0.8-1.fc39.src.rpm 2023-12-08 20:54:24,232 - Finish: build phase for cvc5-1.0.8-1.fc39.src.rpm