2020-06-04 18:47:49,721 - Mock Version: 1.4.21
2020-06-04 18:47:57,780 - Start: dnf install
2020-06-04 18:57:01,210 - Finish: dnf install
2020-06-04 18:57:07,383 - Finish: chroot init
2020-06-04 18:57:09,079 - Finish: run
2020-06-04 18:57:40,927 - Mock Version: 1.4.21
2020-06-04 18:57:58,631 - Finish: chroot init
2020-06-04 18:57:58,756 - Start: build phase for cvc4-1.7-12.fc33.src.rpm
2020-06-04 18:57:58,950 - Start: build setup for cvc4-1.7-12.fc33.src.rpm
2020-06-04 18:58:34,822 - Finish: build setup for cvc4-1.7-12.fc33.src.rpm
2020-06-04 18:58:34,826 - Finish: build phase for cvc4-1.7-12.fc33.src.rpm