2020-06-05 00:25:49,544 - Mock Version: 1.4.21
2020-06-05 00:25:58,876 - Start: dnf install
2020-06-05 00:36:25,627 - Finish: dnf install
2020-06-05 00:36:32,775 - Finish: chroot init
2020-06-05 00:36:34,902 - Finish: run
2020-06-05 00:37:12,337 - Mock Version: 1.4.21
2020-06-05 00:37:32,180 - Finish: chroot init
2020-06-05 00:37:32,297 - Start: build phase for cvc4-1.7-12.fc33.src.rpm
2020-06-05 00:37:32,477 - Start: build setup for cvc4-1.7-12.fc33.src.rpm
2020-06-05 00:38:12,514 - Finish: build setup for cvc4-1.7-12.fc33.src.rpm
2020-06-05 00:38:12,518 - Finish: build phase for cvc4-1.7-12.fc33.src.rpm