2023-04-04 13:39:47,135 - Mock Version: 3.5
2023-04-04 13:39:47,960 - Start: dnf update
2023-04-04 13:39:50,986 - Finish: dnf update
2023-04-04 13:39:51,001 - Finish: chroot init
2023-04-04 13:39:51,005 - Start: build phase for cvc4-1.8-15.fc39.src.rpm
2023-04-04 13:39:51,008 - Start: build setup for cvc4-1.8-15.fc39.src.rpm
2023-04-04 13:40:17,171 - Finish: build setup for cvc4-1.8-15.fc39.src.rpm
2023-04-04 13:40:17,172 - Start: rpmbuild cvc4-1.8-15.fc39.src.rpm
2023-04-04 14:11:05,119 - Finish: rpmbuild cvc4-1.8-15.fc39.src.rpm
2023-04-04 14:11:05,231 - Finish: build phase for cvc4-1.8-15.fc39.src.rpm