2023-11-25 07:17:29,177 - Mock Version: 5.0
2023-11-25 07:17:29,409 - Start: chroot init
2023-11-25 07:17:43,567 - Start: installing minimal buildroot with dnf
2023-11-25 07:23:53,364 - Finish: installing minimal buildroot with dnf
2023-11-25 07:23:58,661 - Finish: chroot init
2023-11-25 07:23:59,971 - Finish: run
2023-11-25 07:24:15,326 - Mock Version: 5.0
2023-11-25 07:24:15,559 - Start: chroot init
2023-11-25 07:24:32,496 - Finish: chroot init
2023-11-25 07:24:32,580 - Start: chroot ['uname -r']
2023-11-25 07:24:32,989 - Finish: chroot ['uname -r']
2023-11-25 07:24:54,897 - Mock Version: 5.0
2023-11-25 07:24:55,202 - Start: chroot init
2023-11-25 07:25:19,276 - Finish: chroot init
2023-11-25 07:25:19,361 - Start: build phase for cvc5-1.0.8-1.fc39.src.rpm
2023-11-25 07:25:19,539 - Start: build setup for cvc5-1.0.8-1.fc39.src.rpm
2023-11-25 07:31:41,769 - Finish: build setup for cvc5-1.0.8-1.fc39.src.rpm
2023-11-25 07:31:41,803 - Start: Outputting list of installed packages
2023-11-25 07:31:44,194 - Finish: Outputting list of installed packages
2023-11-25 07:31:44,198 - Start: rpmbuild cvc5-1.0.8-1.fc39.src.rpm
2023-11-25 08:57:13,617 - Finish: rpmbuild cvc5-1.0.8-1.fc39.src.rpm
2023-11-25 08:57:13,626 - Finish: build phase for cvc5-1.0.8-1.fc39.src.rpm