2023-02-28 17:29:13,191 - Mock Version: 3.5
2023-02-28 17:29:14,046 - Start: dnf update
2023-02-28 17:29:15,639 - Finish: dnf update
2023-02-28 17:29:15,653 - Finish: chroot init
2023-02-28 17:29:15,657 - Start: build phase for cvc4-1.8-15.fc39.src.rpm
2023-02-28 17:29:15,660 - Start: build setup for cvc4-1.8-15.fc39.src.rpm
2023-02-28 17:29:57,170 - Finish: build setup for cvc4-1.8-15.fc39.src.rpm
2023-02-28 17:29:57,171 - Start: rpmbuild cvc4-1.8-15.fc39.src.rpm
2023-02-28 18:00:50,550 - Finish: rpmbuild cvc4-1.8-15.fc39.src.rpm
2023-02-28 18:00:50,659 - Finish: build phase for cvc4-1.8-15.fc39.src.rpm