2020-08-15 20:46:34,274 - Mock Version: 1.4.21
2020-08-15 20:46:46,504 - Start: dnf install
2020-08-15 20:57:57,590 - Finish: dnf install
2020-08-15 20:58:05,438 - Finish: chroot init
2020-08-15 20:58:08,083 - Finish: run
2020-08-15 20:58:50,233 - Mock Version: 1.4.21
2020-08-15 20:59:10,627 - Finish: chroot init
2020-08-15 20:59:10,753 - Start: build phase for cbmc-5.12-2.fc33.src.rpm
2020-08-15 20:59:10,949 - Start: build setup for cbmc-5.12-2.fc33.src.rpm
2020-08-15 20:59:51,672 - Finish: build setup for cbmc-5.12-2.fc33.src.rpm
2020-08-15 20:59:51,678 - Finish: build phase for cbmc-5.12-2.fc33.src.rpm