2023-12-03 08:01:41,747 - Mock Version: 5.0 2023-12-03 08:01:42,200 - Start: chroot init 2023-12-03 08:02:16,285 - Start: installing minimal buildroot with dnf 2023-12-03 08:12:44,079 - Finish: installing minimal buildroot with dnf 2023-12-03 08:12:53,029 - Finish: chroot init 2023-12-03 08:12:55,739 - Finish: run 2023-12-03 08:13:31,732 - Mock Version: 5.0 2023-12-03 08:13:32,488 - Start: chroot init 2023-12-03 08:14:13,716 - Finish: chroot init 2023-12-03 08:14:13,934 - Start: chroot ['uname -r'] 2023-12-03 08:14:14,702 - Finish: chroot ['uname -r'] 2023-12-03 08:14:50,328 - Mock Version: 5.0 2023-12-03 08:14:50,860 - Start: chroot init 2023-12-03 08:15:45,826 - Finish: chroot init 2023-12-03 08:15:45,964 - Start: build phase for cvc5-1.0.8-1.fc39.src.rpm 2023-12-03 08:15:46,261 - Start: build setup for cvc5-1.0.8-1.fc39.src.rpm 2023-12-03 08:16:21,539 - Finish: build setup for cvc5-1.0.8-1.fc39.src.rpm 2023-12-03 08:16:21,545 - Finish: build phase for cvc5-1.0.8-1.fc39.src.rpm