2020-11-27 22:49:07,563 - Mock Version: 1.4.21
2020-11-27 22:49:18,281 - Start: dnf install
2020-11-27 23:02:31,719 - Finish: dnf install
2020-11-27 23:02:43,072 - Finish: chroot init
2020-11-27 23:02:46,167 - Finish: run
2020-11-27 23:03:35,060 - Mock Version: 1.4.21
2020-11-27 23:04:02,130 - Finish: chroot init
2020-11-27 23:04:02,278 - Start: build phase for cbmc-5.17.0-1.fc33.src.rpm
2020-11-27 23:04:02,608 - Start: build setup for cbmc-5.17.0-1.fc33.src.rpm
2020-11-27 23:04:59,285 - Finish: build setup for cbmc-5.17.0-1.fc33.src.rpm
2020-11-27 23:04:59,297 - Finish: build phase for cbmc-5.17.0-1.fc33.src.rpm