2023-05-11 14:42:58,804 - Mock Version: 3.5
2023-05-11 14:42:59,622 - Start: dnf update
2023-05-11 14:43:02,486 - Finish: dnf update
2023-05-11 14:43:02,501 - Finish: chroot init
2023-05-11 14:43:02,505 - Start: build phase for cvc4-1.8-16.fc39.src.rpm
2023-05-11 14:43:02,507 - Start: build setup for cvc4-1.8-16.fc39.src.rpm
2023-05-11 14:44:04,347 - Finish: build setup for cvc4-1.8-16.fc39.src.rpm
2023-05-11 14:44:04,349 - Start: rpmbuild cvc4-1.8-16.fc39.src.rpm
2023-05-11 15:16:16,236 - Finish: rpmbuild cvc4-1.8-16.fc39.src.rpm
2023-05-11 15:16:16,346 - Finish: build phase for cvc4-1.8-16.fc39.src.rpm