2023-01-27 15:01:33,996 - Mock Version: 3.5
2023-01-27 15:01:34,654 - Start: dnf update
2023-01-27 15:01:36,533 - Finish: dnf update
2023-01-27 15:01:36,545 - Finish: chroot init
2023-01-27 15:01:36,548 - Start: build phase for cvc4-1.8-15.fc38.src.rpm
2023-01-27 15:01:36,550 - Start: build setup for cvc4-1.8-15.fc38.src.rpm
2023-01-27 15:01:51,567 - Finish: build setup for cvc4-1.8-15.fc38.src.rpm
2023-01-27 15:01:51,568 - Start: rpmbuild cvc4-1.8-15.fc38.src.rpm
2023-01-27 15:40:18,708 - Finish: rpmbuild cvc4-1.8-15.fc38.src.rpm
2023-01-27 15:40:18,788 - Finish: build phase for cvc4-1.8-15.fc38.src.rpm