2022-07-06 15:35:23,564 - Mock Version: 3.0
2022-07-06 15:35:24,015 - Start: dnf update
2022-07-06 15:35:25,776 - Finish: dnf update
2022-07-06 15:35:25,782 - Finish: chroot init
2022-07-06 15:35:25,783 - Start: build phase for cvc4-1.8-11.fc37.src.rpm
2022-07-06 15:35:25,784 - Start: build setup for cvc4-1.8-11.fc37.src.rpm
2022-07-06 15:35:48,543 - Finish: build setup for cvc4-1.8-11.fc37.src.rpm
2022-07-06 15:35:48,543 - Start: rpmbuild cvc4-1.8-11.fc37.src.rpm
2022-07-06 16:09:06,402 - Finish: rpmbuild cvc4-1.8-11.fc37.src.rpm
2022-07-06 16:09:06,505 - Finish: build phase for cvc4-1.8-11.fc37.src.rpm