2020-11-28 09:38:37,653 - Mock Version: 1.4.21
2020-11-28 09:38:48,208 - Start: dnf install
2020-11-28 09:51:15,710 - Finish: dnf install
2020-11-28 09:51:25,327 - Finish: chroot init
2020-11-28 09:51:27,637 - Finish: run
2020-11-28 09:52:11,155 - Mock Version: 1.4.21
2020-11-28 09:52:38,252 - Finish: chroot init
2020-11-28 09:52:38,386 - Start: build phase for cbmc-5.17.0-1.fc33.src.rpm
2020-11-28 09:52:38,603 - Start: build setup for cbmc-5.17.0-1.fc33.src.rpm
2020-11-28 10:51:02,137 - Finish: build setup for cbmc-5.17.0-1.fc33.src.rpm
2020-11-28 10:51:02,181 - Start: rpmbuild cbmc-5.17.0-1.fc33.src.rpm
2020-11-28 22:03:57,594 - Finish: rpmbuild cbmc-5.17.0-1.fc33.src.rpm
2020-11-28 22:04:02,741 - Finish: build phase for cbmc-5.17.0-1.fc33.src.rpm
2020-11-28 22:04:03,602 - Finish: run