2020-06-09 04:00:28,186 - Mock Version: 1.4.21
2020-06-09 04:00:35,725 - Start: dnf install
2020-06-09 04:09:19,480 - Finish: dnf install
2020-06-09 04:09:25,494 - Finish: chroot init
2020-06-09 04:09:27,175 - Finish: run
2020-06-09 04:09:59,656 - Mock Version: 1.4.21
2020-06-09 04:10:17,372 - Finish: chroot init
2020-06-09 04:10:17,488 - Start: build phase for cvc4-1.7-12.fc33.src.rpm
2020-06-09 04:10:17,696 - Start: build setup for cvc4-1.7-12.fc33.src.rpm
2020-06-09 04:10:53,901 - Finish: build setup for cvc4-1.7-12.fc33.src.rpm
2020-06-09 04:10:53,909 - Finish: build phase for cvc4-1.7-12.fc33.src.rpm