2024-03-31 08:56:46,756 - Mock Version: 5.0
2024-03-31 08:56:47,034 - Start: chroot init
2024-03-31 08:57:05,574 - Start: installing minimal buildroot with dnf
2024-03-31 09:05:16,834 - Finish: installing minimal buildroot with dnf
2024-03-31 09:05:23,998 - Finish: chroot init
2024-03-31 09:05:25,480 - Finish: run
2024-03-31 09:05:44,926 - Mock Version: 5.0
2024-03-31 09:05:45,210 - Start: chroot init
2024-03-31 09:06:07,773 - Finish: chroot init
2024-03-31 09:06:07,883 - Start: chroot ['uname -r']
2024-03-31 09:06:08,434 - Finish: chroot ['uname -r']
2024-03-31 09:06:36,201 - Mock Version: 5.0
2024-03-31 09:06:36,619 - Start: chroot init
2024-03-31 09:07:06,794 - Finish: chroot init
2024-03-31 09:07:06,899 - Start: build phase for cvc5-1.1.2-1.fc40.src.rpm
2024-03-31 09:07:07,129 - Start: build setup for cvc5-1.1.2-1.fc40.src.rpm
2024-03-31 09:15:53,393 - Finish: build setup for cvc5-1.1.2-1.fc40.src.rpm
2024-03-31 09:15:53,440 - Start: Outputting list of installed packages
2024-03-31 09:15:56,305 - Finish: Outputting list of installed packages
2024-03-31 09:15:56,310 - Start: rpmbuild cvc5-1.1.2-1.fc40.src.rpm
2024-03-31 09:20:57,925 - Finish: rpmbuild cvc5-1.1.2-1.fc40.src.rpm
2024-03-31 09:20:57,931 - Finish: build phase for cvc5-1.1.2-1.fc40.src.rpm