2020-08-23 10:48:33,781 - Mock Version: 1.4.21
2020-08-23 10:48:44,744 - Start: dnf install
2020-08-23 11:02:07,832 - Finish: dnf install
2020-08-23 11:02:17,305 - Finish: chroot init
2020-08-23 11:02:19,824 - Finish: run
2020-08-23 11:03:01,761 - Mock Version: 1.4.21
2020-08-23 11:03:28,656 - Finish: chroot init
2020-08-23 11:03:28,866 - Start: build phase for cbmc-5.12-2.fc33.src.rpm
2020-08-23 11:03:29,201 - Start: build setup for cbmc-5.12-2.fc33.src.rpm
2020-08-23 11:04:07,568 - Finish: build setup for cbmc-5.12-2.fc33.src.rpm
2020-08-23 11:04:07,572 - Finish: build phase for cbmc-5.12-2.fc33.src.rpm